Skip to content

Explore projects

  • SAT4J / sat4j

    Eclipse Public License 1.0

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

    Updated
    Updated