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
Earned achievements
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading
Starstruck
Starstruck
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
Pull Shark
Loading