stp.SolverFor

stp.SolverFor(logic, tm=None, ctx=None, **options)

A solver with the logic option set (QF_BV, QF_ABV, QF_AUFBV, QF_BVFP, QF_LRA, …).

This selects logic-dependent settings; it does not restrict the theories of API terms. Checks still discover the theories used by their assertions and assumptions.