A cpmpy-based library for constraint acquisition.
☆21Mar 23, 2026Updated 2 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☆26Oct 24, 2025Updated 7 months ago
- Exact optimization for cost function networks and additive graphical models☆66Jun 4, 2026Updated last week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆354Jun 5, 2026Updated last week
- [Constraints'24] Ner4Opt: Named-Entity Recognition for Optimization☆18Mar 30, 2026Updated 2 months ago
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆78Jun 4, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Nov 29, 2023Updated 2 years ago
- A constraint solver purely on GPUs (CUDA)☆48Updated this week
- MaxiCP☆37Jun 5, 2026Updated last week
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 6 months ago
- SATZilla SAT feature extraction tool☆13Mar 23, 2026Updated 2 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆15Apr 7, 2026Updated 2 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 …☆80Mar 11, 2025Updated last year
- seahorse - A handy package for kickstarting AI contests☆83Jan 29, 2026Updated 4 months ago
- Versatile Verification of Tree Ensembles☆21Mar 3, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- TSP benchmark problem generator written in pure R.☆27Jun 29, 2021Updated 4 years ago
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated 3 months ago
- Selecting features as (network) nodes☆11May 27, 2018Updated 8 years ago
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 7 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 5 months ago
- Representing CP problems as graphs☆22Dec 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 11 months ago
- 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 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A constraint modelling and rewriting library and compiler framework written in rust☆31May 25, 2026Updated 2 weeks ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 4 months ago
- An R shiny app to explore the influence of the normality and independence assumptions (and their violation) on the validity (i.e. the typ…☆13Aug 24, 2020Updated 5 years 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
- Generate a Git Murder mystery☆14Jun 14, 2024Updated last year
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Updated this week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Jul 18, 2024Updated last year
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆20Nov 6, 2025Updated 7 months ago
- Java educational project with JavaFX☆45Dec 17, 2022Updated 3 years ago
- Material for the SC22 Deep Learning at Scale Tutorial☆41Jul 14, 2023Updated 2 years ago
- Graph Learning for Planning☆27Mar 27, 2026Updated 2 months ago
- The official GECCO 2024 Space Optimisation Competition (SpOC) organised by the Advanced Concepts Team (ACT).☆31Jan 16, 2025Updated last year
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated 8 months ago
- A standalone local search solver for general mixed integer programming☆49Mar 25, 2026Updated 2 months ago