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

A Decision-Diagram-based approach to solve the Single Row Facility Layout Problem

Supplementary material (Source code, and data) related to the paper ``Large Neighborhood Search with Decision Diagrams'' published at IJCAI-22 (www.ijcai.org)

Patch built-in python objects

A Python Library for modeling combinatorial constrained problems

PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random …

COmpact SOlver for COnstrained problems

XCSP3 Tools in Java

Constraint Solver ACE

A sat solver in rust

XCSP3 Core Parser in C