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.