simpleSolver function

Solver simpleSolver()

Create a simple incremental solver.

This is equivalent to applying the "smt" tactic.

Implementation

Solver simpleSolver() => currentContext.simpleSolver();