Models (and data) of constrained problems developped with the library PyCSP3
☆14Dec 15, 2025Updated 3 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☆14Mar 11, 2026Updated last week
- Constraint Solver ACE☆36Mar 7, 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…☆39Mar 11, 2026Updated last week
- XCSP3 Tools in Java☆23Feb 9, 2026Updated last month
- A Python Library for modeling combinatorial constrained problems☆81Mar 2, 2026Updated 2 weeks ago
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 2 months ago
- ☆15May 12, 2025Updated 10 months ago
- d4 Model Counter☆19May 17, 2023Updated 2 years 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☆14Mar 5, 2026Updated 2 weeks ago
- ☆15Oct 3, 2021Updated 4 years ago
- A very simple cross-OS and python GUI+CLI to manage environment variables.☆15Mar 18, 2024Updated 2 years ago
- Urban block renewal maximizing outdoor thermal comfort using deep reinforcement learning methods.☆10Mar 3, 2022Updated 4 years ago
- ☆17Jun 25, 2025Updated 8 months ago
- A spatial optmization library for covering problems.☆16Nov 17, 2023Updated 2 years ago
- Bias detection and contextual evaluation tool for your AI projects☆30Oct 31, 2025Updated 4 months ago
- A Python API to automatically cast graph-related optimisation problems into ILP instances for Gurobi☆19Feb 7, 2023Updated 3 years ago
- Procedural generation of random urban landscapes.☆18Oct 5, 2020Updated 5 years ago
- This library builds a graph-representation of the content of PDFs. The graph is then clustered, resulting page segments are classified an…☆23Sep 11, 2020Updated 5 years ago
- python Clustering of Lines And RAsters☆13Jul 9, 2021Updated 4 years ago
- 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
- Task queues with Celery and RabbitMQ☆19May 7, 2018Updated 7 years ago
- A C++ SMT/OMT Parser Library☆23Mar 14, 2026Updated last week
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆78Updated this week
- FICO Xpress Mosel Open Source Repository☆30Nov 14, 2025Updated 4 months ago
- 查看Codeforces GYM的代码☆15Aug 29, 2024Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆40Dec 18, 2022Updated 3 years ago
- Tree canopy map of Lausanne in 2016 at a 1m resolution☆16Dec 8, 2020Updated 5 years ago
- A minimal Implementation of VGG16 Deep Learning Model in Python using L-BFGS to perform Image Styling/Blending☆15Dec 8, 2022Updated 3 years ago
- 图形化 Online Judge 数据批量生成器☆24Mar 22, 2025Updated 11 months ago
- PSGCNet: A Pyramidal Scale and Global Context Guided Network for Dense Object Counting in Remote-Sensing Images☆18Jun 13, 2022Updated 3 years ago
- ☆26Jan 24, 2024Updated 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
- 使用遗传算法解决SLP仓库布局问题☆17May 20, 2022Updated 3 years ago
- A library to generate buildings from local urban regulations.☆23Sep 17, 2025Updated 6 months 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 4 months ago
- A Python durations parsing library☆26Nov 10, 2015Updated 10 years ago
- Geometric constraint solver for Python☆26Mar 21, 2022Updated 4 years ago
- MaxiCP☆19Mar 14, 2026Updated last week