Explore projects
-
LemonLDAP NG / website-landing-page
Creative Commons Attribution 3.0 UnportedHTML5 page for https://www.lemonldap-ng.org/
Updated -
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated