Explore projects
-
spoon / spoon
CeCILL-C Free Software License AgreementUpdated -
A deployable instance of the GGI Handbook, for local implementation of the method.
Updated -
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
-
-
Updated
-
-
-
-
-
-
-
-
-