Function z3_sys::Z3_interrupt
[−]
[src]
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.