Explore projects

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

origin: https://github.com/play-project/play-dsb-config

origin: https://github.com/play-project/play.ow2.org

origin: https://github.com/play-project/play-eventadapters

origin: https://github.com/petalslink/petalslink.github.io.git

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

origin: https://github.com/centreon/centreon-iac-puppet-configurator.git

origin: https://github.com/centreon/centreon-iac-puppet.git

origin: https://github.com/sympa-community/sympa-pages-theme.git

Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll

origin: https://github.com/docdoku/ow2tc.github.com.git

origin: https://github.com/RocketChat/handbook.git

origin: https://github.com/RocketChat/developer-docs.git

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

origin: https://github.com/docdoku/docdoku-plm-doc.git

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

Antoine Mottier's notes

origin: https://github.com/DeviceFarmer/stf-appium-example.git

origin: https://github.com/DeviceFarmer/setup-examples.git