XCSP Team

icon indicating a website link https://xcsp.org

icon company CRIL, University of Artois icon location France icon location We are interested in combinatorial constrained problems. We develop constraint solvers, for CP (Constraint Programming) and SAT (Satisfiability Testing).

Results 7 repositories owned by XCSP Team

pycsp3

76
Stars
10
Forks
76
Watchers

A Python Library for modeling combinatorial constrained problems

verified publisher icon xcsp3team

XCSP3-Java-Tools

23
Stars
5
Forks
23
Watchers

XCSP3 Tools in Java

verified publisher icon xcsp3team

XCSP3-CPP-Parser

19
Stars
11
Forks
19
Watchers

XCSP3 Core Parser in C++

verified publisher icon xcsp3team

ACE

32
Stars
6
Forks
32
Watchers

Constraint Solver ACE

verified publisher icon xcsp3team