Explore projects
-
-
-
-
-
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
FusionIAM / FusionIAM
GNU General Public License v3.0 onlyThis is the main FusionIAM project.
FusionIAM is a software federation to offer a global open source IAM solution.
Updated