[−][src]Function z3_sys::Z3_interrupt
pub unsafe extern "C" fn Z3_interrupt(c: Z3_context)
Interrupt the execution of a Z3 procedure.
This procedure can be used to interrupt: solvers, simplifiers and tactics.
This method can be invoked from a thread different from the one executing the interruptible procedure.