Explore projects
-
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.