Type Alias Z3_tactic 

pub type Z3_tactic = NonNull<_Z3_tactic>;

Basic building block for creating custom solvers for specific problem domains.

Aliased Type

pub struct Z3_tactic { /* private fields */ }