Explore projects
-
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
-
-
-
Your own Good Governance Initiative project.
Here you will find your dashboard and the GitLab Board with all activities describing the local GGI deployment, based on the version 1.2 of the GGI handbook
For more information please see the official project home page at https://ospo-alliance.org/
Updated -
-
-
-
-
-
-
-
-
-
-
-
-