Tools

Parsers

• A Java 8 Parser is available on github.
• A C++11 Parser for XCSP3-core is available on github.
• A Python Parser for XCSP3-core is available on github.
• A Rust Parser

Checkers

• A Java 8 Solution Checker is available on github.

Modeler

• A Python library for modeling is available at github.

Solvers

Various constraint solving systems support XCSP³:

• ACE, a generic constraint solver
• BTD , an original system exploiting the structure of problems with tree-decomposition
• CoSoCo, a constraint solver written in C++
• Choco, a free and open-Source Java Library for Constraint Programming
• Fun-sCOP, a SAT-based COnstraint Programming system.
• Mistral, an open source constraint programming library written in C++
• Nacre, a nogood and clause reasoning engine
• OR-Tools (SAT-CP) from CPMpy
• PicatSAT, Compiling CSP to SAT
• Sat4J, a Boolean satisfaction and optimization library in Java
• toulbar2
• ...