A Python Library for modeling combinatorial constrained problems

Constraint Solver ACE

XCSP3 Tools in Java

XCSP3 Core Parser in C++

COmpact SOlver for COnstrained problems

Models (and data) of constrained problems developped with the library PyCSP3

The purpose of this library is to read XCSP files into rust constraint programming solvers.

A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)

RuCos is an extremely high-performance parallel constraint solver implemented by Rust.

AUTIS library allows parsing combinatorial problem instances for different common formats.