Sat4j logo

@sat4j

SAT4J is a library aiming at providing a simple and efficient open source library of SAT solvers in Java.

  • sat4j

    Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

    updated
  • xcsp

    CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.

    updated
  • scala

    Scala front-end to Sat4j

    updated