Explore projects
-
GLPI / android-inventory-agent
GNU General Public License v3.0 onlyUpdated -
GLPI / android-inventory-library
GNU General Public License v3.0 onlyUpdated -
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
RocketChat / developer-docs
MIT LicenseUpdated -
Václav Haisman / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
LDAP Tool Box / openldap-rpm
GNU General Public License v3.0 onlyUpdated -
-
-
-
Updated
-
Antoine Mottier / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Updated
-
-
DeviceFarmer / devicefarmer.github.io
MIT LicenseUpdated -
RocketChat / docs.rocket.chat
MIT LicenseUpdated -
-
-