A cpmpy-based library for constraint acquisition.
☆20Sep 25, 2025Updated 5 months ago
Alternatives and similar repositories for PyConA
Users that are interested in PyConA are comparing it to the libraries listed below
Sorting:
- An open-source course on constraint solving☆25Oct 24, 2025Updated 4 months ago
- [Constraints'24] Ner4Opt: Named-Entity Recognition for Optimization☆17Dec 15, 2025Updated 2 months ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆334Updated this week
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆67Updated this week
- Python script for downloading Kaltura videos from Toledo☆10Nov 15, 2022Updated 3 years ago
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆169Mar 27, 2024Updated last year
- MaxiCP☆17Updated this week
- ☆14Jan 5, 2026Updated last month
- Strawberry architecture analysis and reconstruction☆16Dec 16, 2025Updated 2 months ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 2 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated last month
- ☆11Sep 21, 2025Updated 5 months ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- SATZilla SAT feature extraction tool☆11Jan 15, 2026Updated last month
- ☆12Nov 29, 2023Updated 2 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 3 weeks ago
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 4 months ago
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆18Nov 6, 2025Updated 3 months ago
- A tool for creating Python implementations of SBML models.☆15Oct 5, 2022Updated 3 years ago
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆20Oct 10, 2025Updated 4 months ago
- Graph Learning for Planning☆25Feb 22, 2026Updated last week
- Verimag Polyhedra Library☆19Apr 11, 2025Updated 10 months ago
- Explainable Constraint Solving - A Hands-On Tutorial☆23Nov 28, 2025Updated 3 months ago
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆20Feb 14, 2026Updated 2 weeks ago
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- Representing CP problems as graphs☆20Dec 18, 2024Updated last year
- Source code associated with the paper "Deep Learning for Data-Driven Districting-and-Routing", authored by A. Ferraz, Q. Cappart, and T. …☆27Jul 2, 2025Updated 8 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Jul 18, 2024Updated last year
- Standalone Python package containing libSBML with support for SBML Level 3 Core and accepted SBML Level 3 packages.☆23Jan 9, 2026Updated last month
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆28Feb 16, 2020Updated 6 years ago
- ☆25Jun 4, 2021Updated 4 years ago
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- A standalone local search solver for general mixed integer programming☆46Feb 12, 2026Updated 2 weeks ago
- ☆39Sep 15, 2025Updated 5 months ago
- ☆38Jul 2, 2023Updated 2 years ago
- ROS configuration files (URDF description, Gazebo launch files, MoveIt config, bringup launch files) for the Mobipick robot (MiR 100 base…☆41Nov 29, 2025Updated 3 months ago
- Boolean Network Modeling☆40Jan 31, 2020Updated 6 years ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆53Feb 24, 2026Updated last week
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆42Jun 12, 2023Updated 2 years ago