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.
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
This repository contains metadata for instances from various XCSP competitions.
Homebrew Formula for xcsp-launcher
A unified installer and launcher for XCSP3 solvers: install, build, and solve — with a single tool.
Add a description, image, and links to the xcsp3 topic page so that developers can more easily learn about it.
To associate your repository with the xcsp3 topic, visit your repo's landing page and select "manage topics."