Models (and data) of constrained problems developped with the library PyCSP3
☆13Dec 15, 2025Updated 2 months ago
Alternatives and similar repositories for PyCSP3-models
Users that are interested in PyCSP3-models are comparing it to the libraries listed below
Sorting:
- COmpact SOlver for COnstrained problems☆14Updated this week
- Constraint Solver ACE☆36Updated this week
- XCSP3 Tools in Java☆23Feb 9, 2026Updated 2 weeks ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆39Jan 20, 2026Updated last month
- A Python Library for modeling combinatorial constrained problems☆81Feb 3, 2026Updated 3 weeks ago
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated last month
- ☆14May 12, 2025Updated 9 months ago
- d4 Model Counter☆18May 17, 2023Updated 2 years ago
- MaxiCP☆17Feb 21, 2026Updated last week
- Urban block renewal maximizing outdoor thermal comfort using deep reinforcement learning methods.☆10Mar 3, 2022Updated 3 years ago
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆15Nov 15, 2025Updated 3 months ago
- Source code for the paper titled: "Unlocking the full potential of smart charging: Addressing paused and delayed charging problems in ele…☆11May 22, 2024Updated last year
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- A spatial optmization library for covering problems.☆16Nov 17, 2023Updated 2 years ago
- A Python Library for Standardized and Reproducible Data Management in Recommender Systems☆18Feb 12, 2026Updated 2 weeks ago
- A Python durations parsing library☆26Nov 10, 2015Updated 10 years ago
- ☆13Jan 9, 2026Updated last month
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆20Oct 10, 2025Updated 4 months ago
- ☆16Jun 27, 2023Updated 2 years ago
- ☆16Jan 24, 2026Updated last month
- python Clustering of Lines And RAsters☆13Jul 9, 2021Updated 4 years ago
- ☆23Feb 19, 2026Updated last week
- 使用遗传算法解决SLP仓库布局问题☆17May 20, 2022Updated 3 years ago
- Procedural generation of random urban landscapes.☆17Oct 5, 2020Updated 5 years ago
- A new framework to generate interpretable classification rules☆18Feb 11, 2023Updated 3 years ago
- An open, end-to-end implementation of TabPFN-like foundation models, covering synthetic priors/data, training, and evaluation on TabArena…☆26Jan 5, 2026Updated last month
- ☆15Oct 3, 2021Updated 4 years ago
- Optimization Models used in my e-book with the same title☆14Dec 17, 2025Updated 2 months ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆78Feb 20, 2026Updated last week
- Learning to Compare Nodes in Branch and Bound with Graph Neural Networks (NeurIPS 2022)☆26Nov 7, 2022Updated 3 years ago
- ☆17Jun 25, 2025Updated 8 months ago
- Tree canopy map of Lausanne in 2016 at a 1m resolution☆16Dec 8, 2020Updated 5 years ago
- A very simple cross-OS and python GUI+CLI to manage environment variables.☆15Mar 18, 2024Updated last year
- A C++ SMT/OMT Parser Library☆23Feb 17, 2026Updated last week
- The WhisperX API is a containerized solution for transcribing audio files using the powerful `whisperx` model. This API provides an easy-…☆17Aug 24, 2023Updated 2 years ago
- simple ABM program to simulate a moving danger (e.g., fire) and people in a confined space trying to escape the danger☆18Nov 29, 2024Updated last year
- Python Implementation of STreeD: Dynamic Programming Approach for Optimal Decision Trees with Separable objectives and Constraints☆18Nov 28, 2025Updated 3 months ago
- Random-Key Optimizer (RKO) - C++ framework☆21Mar 31, 2025Updated 11 months ago
- Ludwig benchmark☆19Mar 13, 2022Updated 3 years ago