Solvers Module

The Solvers module provides access to a set of solvers that belong to different formalisms. Currently, the only supported formalism is SAT.

Solvers:

• SAT Solver
  • Integrated SAT solvers
    • PyiSAT