Models (and data) of constrained problems developped with the library PyCSP3
☆14Sep 8, 2026Updated last month
Alternatives and similar repositories for PyCSP3-models
Users that are interested in PyCSP3-models are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- COmpact SOlver for COnstrained problems☆15Updated this week
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆41May 22, 2026Updated 4 months ago
- Constraint Solver ACE☆40Sep 30, 2026Updated last week
- XCSP3 Tools in Java☆27Sep 10, 2026Updated last month
- XCSP3 Core Parser in C++☆20Sep 16, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Python Library for modeling combinatorial constrained problems☆88Updated this week
- ☆18May 12, 2025Updated last year
- d4 Model Counter☆22May 17, 2023Updated 3 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 2 years ago
- ☆16Oct 3, 2021Updated 5 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆18Jul 9, 2026Updated 3 months ago
- A very simple cross-OS and python GUI+CLI to manage environment variables.☆15Mar 18, 2024Updated 2 years ago
- Bias detection and contextual evaluation tool for your AI projects☆30Apr 27, 2026Updated 5 months ago
- ☆18Jun 25, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Urban block renewal maximizing outdoor thermal comfort using deep reinforcement learning methods.☆11Mar 3, 2022Updated 4 years ago
- A Python API to automatically cast graph-related optimisation problems into ILP instances for Gurobi☆20Feb 7, 2023Updated 3 years ago
- python Clustering of Lines And RAsters☆13Jul 9, 2021Updated 5 years ago
- Procedural generation of random urban landscapes.☆20Oct 5, 2020Updated 6 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 6 years ago
- The WhisperX API is a containerized solution for transcribing audio files using the powerful `whisperx` model. This API provides an easy-…☆18Aug 24, 2023Updated 3 years ago
- A spatial optmization library for covering problems.☆16Nov 17, 2023Updated 2 years ago
- Task queues with Celery and RabbitMQ☆18May 7, 2018Updated 8 years ago
- FICO Xpress Mosel Open Source Repository☆31Nov 14, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A minimal Implementation of VGG16 Deep Learning Model in Python using L-BFGS to perform Image Styling/Blending☆15Dec 8, 2022Updated 3 years ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆88Updated this week
- 查看Codeforces GYM的代码☆15Aug 29, 2024Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆42Oct 3, 2026Updated last week
- Tree canopy map of Lausanne in 2016 at a 1m resolution☆17Dec 8, 2020Updated 5 years ago
- 使用遗传算法解决SLP仓库布局问题☆18May 20, 2022Updated 4 years ago
- A C++ SMT/OMT Parser Library☆53Sep 16, 2026Updated 3 weeks ago
- PSGCNet: A Pyramidal Scale and Global Context Guided Network for Dense Object Counting in Remote-Sensing Images☆20Jun 13, 2022Updated 4 years ago
- ☆28Jan 24, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- simple ABM program to simulate a moving danger (e.g., fire) and people in a confined space trying to escape the danger☆20Nov 29, 2024Updated last year
- A library to generate buildings from local urban regulations.☆25May 26, 2026Updated 4 months ago
- Geometric constraint solver for Python☆28Mar 21, 2022Updated 4 years ago
- 图形化 Online Judge 数据批量生成器☆24Sep 5, 2026Updated last month
- Collection of curriculum and useful UAV examples for researchers, educators, and students using MATLAB and Simulink.☆43May 7, 2025Updated last year
- Extension of ConvLSTM and Time-LSTM for irregularly spaced images, appropriate for Remote Sensing☆23Jul 30, 2020Updated 6 years ago
- OpenCore EFI for AMD Ryzen Hackintosh. MSI B450M BAZOOKA PLUS + R5 2600 + RX 5700. Big Sur,Catalina.☆12Nov 6, 2023Updated 2 years ago