Stars
Explanation tools for PyCSP3 constraint models
Scheduling extension for pycsp3 with interval variables, sequence variables, and scheduling constraints.
Extension library that adds some extra solver backends to pycsp3
An open-source Java library for Constraint Programming
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)
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 …