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
Block or Report
Block or report xcsp3team
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusexcsp3team isn’t following anybody.
Learn more about being social on GitHub.