A cpmpy-based library for constraint acquisition.
☆21Mar 23, 2026Updated 3 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:
- Exact optimization for cost function networks and additive graphical models☆66Updated this week
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆82Jun 25, 2026Updated last week
- A constraint solver purely on GPUs (CUDA)☆48Jun 8, 2026Updated 3 weeks ago
- MaxiCP☆38Jun 15, 2026Updated 2 weeks ago
- Explainable Constraint Solving - A Hands-On Tutorial☆27Nov 28, 2025Updated 7 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 collection of problem specifications in Essence.☆10Dec 4, 2025Updated 6 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆15Apr 7, 2026Updated 2 months ago
- seahorse - A handy package for kickstarting AI contests☆83Jun 8, 2026Updated 3 weeks ago
- Versatile Verification of Tree Ensembles☆22Mar 3, 2026Updated 3 months ago
- TSP benchmark problem generator written in pure R.☆27Jun 29, 2021Updated 5 years ago
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated 4 months ago
- Selecting features as (network) nodes☆11May 27, 2018Updated 8 years ago
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 8 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Sep 21, 2025Updated 9 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 last year
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆29Feb 16, 2020Updated 6 years ago
- Repository of the pipeline of computational methods for logical modelling of biological networks that are deregulated in diseases, develo…☆10Mar 14, 2026Updated 3 months ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 4 months ago
- A proposed workflow for using Git subtree with shared code☆20May 28, 2012Updated 14 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆21Nov 11, 2017Updated 8 years ago
- A simple way to manage and store the data related to all your research papers!☆17Apr 10, 2023Updated 3 years ago
- Generate a Git Murder mystery☆14Jun 14, 2024Updated 2 years ago
- 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.
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆20Nov 6, 2025Updated 7 months 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
- A tool for creating Python implementations of SBML models.☆15Oct 5, 2022Updated 3 years ago
- Graph Learning for Planning☆29Mar 27, 2026Updated 3 months ago
- 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 2 years ago
- A standalone local search solver for general mixed integer programming☆51Jun 20, 2026Updated last week
- ☆14Sep 15, 2022Updated 3 years 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.
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆20Updated this week
- ROS configuration files (URDF description, Gazebo launch files, MoveIt config, bringup launch files) for the Mobipick robot (MiR 100 base…☆42Nov 29, 2025Updated 7 months ago
- ☆39Jul 2, 2023Updated 3 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- Wrap Python functions and shell commands as content-addressed transformations. Cache results, run them locally or on a cluster, and share…☆24Jun 22, 2026Updated last week
- a C library for symbolic and numerical analysis of a system of ordinary differential equations (ODEs) derived from a chemical reaction ne…☆24Mar 15, 2018Updated 8 years ago
- A Sparse Set in rust.☆33Oct 22, 2022Updated 3 years ago