Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
-
-
-
-
-
-
CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.
-
CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.
-
Data model for JSON Profile of XACML 3.0
-
-
-
-
-