[][src]Function rust_smt::new_z3_solver

pub fn new_z3_solver() -> Z3Solver