Solvers

Available SAT solvers

In this file, all the available SAT solvers are listed. They can be divided in two categories: internal and external.

Internal SAT solvers should be installed by default and no further action is needed. For any other information on internal SAT solvers, visit Abstract SAT solver.

External SAT 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.