We are interested in combinatorial constrained problems. We develop constraint solvers, for CP (Constraint Programming) and SAT (Satisfiability Testing).
-
CRIL, University of Artois
- France
- https://xcsp.org
-
pycsp3 Public
A Python Library for modeling combinatorial constrained problems
-
ACE Public
Constraint Solver ACE
-
PyCSP3-models Public
Models (and data) of constrained problems developped with the library PyCSP3
-
cosoco Public
COmpact SOlver for COnstrained problems
-
XCSP3-Java-Tools Public
XCSP3 Tools in Java
-
XCSP3-CPP-Parser Public
XCSP3 Core Parser in C
-
csplib Public
Forked from csplib/csplibA benchmark library for constraints