Type Definition Z3_solver
z3_sys
type Z3_solver = *mut _Z3_solver;
(Incremental) solver, possibly specialized by a particular tactic or logic.