Explore projects
-
-
-
-
-
-
-
-
-
bonita / bonita-process-model
GNU General Public License v2.0 or laterUpdated -
-
-
-
-
-
-
-
-
-
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -