smt

Synopsis: smt solver=<STRING>

Description: Invoke an external SMT solver. That solver must be adequately configured outside the script mechanism. By default, Z3 is invoked, but that can be chosen.

Arguments: