simpleSolver method

Solver simpleSolver()

Implementation

Solver simpleSolver() => _getSolver(_z3.mk_simple_solver());