Explore projects
-
Václav Haisman / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
Updated
-
-
GLPI / android-inventory-library
GNU General Public License v3.0 onlyUpdated -
-
-
Updated
-
Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll
Updated -
Updated
-
-
RocketChat / developer-docs
MIT LicenseUpdated -
Romain WALLON / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
Antoine Mottier / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-