Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

LemonLDAP::NG Web SSO

origin: https://github.com/centreon/centreon.git

origin: https://github.com/centreon/centreon-collect.git

origin: https://github.com/centreon/centreon-documentation.git

origin: https://github.com/centreon/centreon-vmware.git

origin: https://github.com/centreon/centreon-gha.git

origin: https://github.com/xwiki/xwiki-rendering.git

origin: https://github.com/xwiki/xwiki-platform.git

origin: https://github.com/INRIA/spoon.git

origin: https://github.com/glpi-project/glpi.git

origin: https://github.com/glpi-project/glpi-project.github.io.git

origin: https://github.com/glpi-project/glpi-inventory-plugin.git

origin: https://github.com/ow2-proactive/scheduling.git

origin: https://github.com/ow2-proactive/documentation.git

origin: https://github.com/bonitasoft/bonita-connector-database.git

origin: https://github.com/bonitasoft/bonita-connector-email.git

origin: https://github.com/bonitasoft/bonita-data-repository.git

origin: https://github.com/bonitasoft/bonita-connector-document-templating.git

origin: https://github.com/bonitasoft/bonita-connector-groovy.git