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 -
-
OSPO Alliance / GGI
Creative Commons Attribution 4.0 InternationalUpdated -
A deployable instance of the GGI Handbook, for local implementation of the method.
Updated