A cpmpy-based library for constraint acquisition.
☆21Sep 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An open-source course on constraint solving☆25Oct 24, 2025Updated 4 months ago
- Exact optimization for cost function networks and additive graphical models☆65Updated this week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆339Updated this week
- [Constraints'24] Ner4Opt: Named-Entity Recognition for Optimization☆17Dec 15, 2025Updated 3 months ago
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆67Updated this week
- ☆12Nov 29, 2023Updated 2 years ago
- MaxiCP☆19Mar 14, 2026Updated last week
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆169Mar 27, 2024Updated last year
- ☆14Jan 5, 2026Updated 2 months ago
- Explainable Constraint Solving - A Hands-On Tutorial☆23Nov 28, 2025Updated 3 months ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 3 months ago
- This repository is the the implementation of the JAIR paper: https://doi.org/10.1613/jair.1.15320. This repository provides the codebase …☆74Mar 11, 2025Updated last year
- seahorse - A handy package for kickstarting AI contests☆81Jan 29, 2026Updated last month
- Versatile Verification of Tree Ensembles☆20Mar 3, 2026Updated 2 weeks ago
- TSP benchmark problem generator written in pure R.☆27Jun 29, 2021Updated 4 years ago
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 4 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 2 months ago
- Representing CP problems as graphs☆20Dec 18, 2024Updated last year
- ☆11Sep 21, 2025Updated 6 months ago
- 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
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated last month
- ☆10May 11, 2021Updated 4 years ago
- Repository of the pipeline of computational methods for logical modelling of biological networks that are deregulated in diseases, develo…☆10Mar 14, 2026Updated last week
- A constraint modelling and rewriting library and compiler framework written in rust☆31Updated this week
- ☆24Jun 4, 2021Updated 4 years ago
- Code for the paper 'On Learning Paradigms for the Travelling Salesman Problem' (NeurIPS 2019 Graph Representation Learning Workshop)☆32Dec 17, 2020Updated 5 years ago
- Material for the SC22 Deep Learning at Scale Tutorial☆41Jul 14, 2023Updated 2 years ago
- A tool for creating Python implementations of SBML models.☆15Oct 5, 2022Updated 3 years ago
- Graph Learning for Planning☆25Feb 22, 2026Updated last month
- The official GECCO 2024 Space Optimisation Competition (SpOC) organised by the Advanced Concepts Team (ACT).☆31Jan 16, 2025Updated last year
- Module to create static html reports☆14Jul 2, 2024Updated last year
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆20Oct 10, 2025Updated 5 months ago
- A standalone local search solver for general mixed integer programming☆45Feb 12, 2026Updated last month
- ROS configuration files (URDF description, Gazebo launch files, MoveIt config, bringup launch files) for the Mobipick robot (MiR 100 base…☆43Nov 29, 2025Updated 3 months ago
- python reader for Andor sif file☆13Sep 28, 2020Updated 5 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- COVID-10 Analysis☆16Apr 21, 2021Updated 4 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated 11 months ago
- ☆39Sep 15, 2025Updated 6 months ago