Explore projects
-
-
Antoine Mottier / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
Updated
-
-
LDAP Tool Box / openldap-rpm
GNU General Public License v3.0 onlyUpdated -
GLPI / android-inventory-library
GNU General Public License v3.0 onlyUpdated -
GLPI / android-inventory-agent
GNU General Public License v3.0 onlyUpdated -
-
RocketChat / developer-docs
MIT LicenseUpdated -
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
PaaSage / deployment_scripts
Apache License 2.0Updated -
Updated
-
-
-
Toreador / toreador-lab-gui
Apache License 2.0Updated -