simpleSolver method

Solver simpleSolver()

Create a simple incremental solver.

This is equivalent to applying the "smt" tactic.

Implementation

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