A Python Library for modeling combinatorial constrained problems
☆88Oct 5, 2026Updated this week
Alternatives and similar repositories for pycsp3
Users that are interested in pycsp3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Models (and data) of constrained problems developped with the library PyCSP3☆14Sep 8, 2026Updated last month
- Constraint Solver ACE☆40Updated this week
- XCSP3 Tools in Java☆27Sep 10, 2026Updated last month
- XCSP3 Core Parser in C++☆20Sep 16, 2026Updated 3 weeks ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆18Jul 9, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆42Oct 3, 2026Updated last week
- ☆17Updated this week
- ☆18May 12, 2025Updated last year
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- Tutorial on Benders decomposition and acceleration techniques☆18May 23, 2023Updated 3 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 5 years ago
- A CP Portfolio Solver☆27Jun 25, 2026Updated 3 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆33Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- A constraint programming solver with support for proof logging☆20Updated this week
- An open-source course on constraint solving☆28Sep 14, 2026Updated 3 weeks ago
- A suite of MiniZinc benchmarks.☆92May 13, 2026Updated 4 months ago
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆39Oct 2, 2026Updated last week
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆88Updated this week
- Yuck is a local-search constraint solver with FlatZinc interface☆64Sep 12, 2026Updated last month
- 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
- MaxiCP☆44Sep 30, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Access to all MiniZinc functionality directly from Python☆213Sep 10, 2026Updated last month
- Generic Constraint Development Environment☆336Updated this week
- Use MiniZinc in the browser or with NodeJS☆62Sep 5, 2026Updated last month
- ☆16Oct 3, 2021Updated 5 years ago
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 3 years ago
- IPyHOP is a Re-entrant Iterative GTPyHOP written in Python 3. PyHOP is an acronym for Python Hierarchical Ordered Planner.☆12Aug 12, 2022Updated 4 years ago
- The glucose SAT solver☆156Oct 5, 2026Updated last week
- Toolbox for automated planning and combinatorial solving.☆66Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated 2 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.
- Python constraint programming library☆25Aug 1, 2026Updated 2 months ago
- Various simulators for Object Event Simulation (OES), which is a Discrete Event Simulation paradigm combining object-oriented modeling wi…☆22Nov 12, 2025Updated 10 months ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- ☆10Jan 15, 2022Updated 4 years ago
- A toolkit for SAT-based prototyping in Python☆461Aug 16, 2026Updated last month
- A very simple cross-OS and python GUI+CLI to manage environment variables.☆15Mar 18, 2024Updated 2 years ago
- A quickstart project demonstrating how to produce GTFS-realtime trip updates and vehicle positions feeds.☆11Sep 6, 2022Updated 4 years ago