xcsp3team Goto Github PK
Name: XCSP Team
Type: User
Company: CRIL, University of Artois
Bio: We are interested in combinatorial constrained problems. We develop constraint solvers, for CP (Constraint Programming) and SAT (Satisfiability Testing).
Location: France
Blog: https://xcsp.org