Solvers

Available SMT solvers

In this file, all the available SMT solvers are listed. They are only external.

External SMT solvers need to be installed in the system as long as you want a bare metal installation since they are called using a subprocess. If you use a Docker container running the default image for the library no further action is needed.