Type Alias Z3_solver 

pub type Z3_solver = NonNull<_Z3_solver>;

(Incremental) solver, possibly specialized by a particular tactic or logic.

Aliased Type

pub struct Z3_solver { /* private fields */ }