A cpmpy-based library for constraint acquisition.
☆23Aug 20, 2026Updated last week
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:
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆374Updated this week
- A constraint solver purely on GPUs (CUDA)☆53Aug 4, 2026Updated 3 weeks ago
- Explainable Constraint Solving - A Hands-On Tutorial☆29Updated this week
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆170Mar 27, 2024Updated 2 years ago
- SATZilla SAT feature extraction tool☆15Mar 23, 2026Updated 5 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Graph Learning for Planning☆32Mar 27, 2026Updated 5 months ago
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 10 months ago
- Manthan for Boolean function synthesis☆36Feb 16, 2026Updated 6 months ago
- SeaPearl's pool of examples☆21Jul 17, 2023Updated 3 years ago
- Representing CP problems as graphs☆21Dec 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 last year
- ☆11Aug 8, 2026Updated 3 weeks ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 7 years ago
- UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …☆31Aug 6, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Repository of the pipeline of computational methods for logical modelling of biological networks that are deregulated in diseases, develo…☆10Mar 14, 2026Updated 5 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆32Updated this week
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 6 months ago
- CDbw Index For Cluster Validation☆10Mar 26, 2019Updated 7 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
- ☆12May 21, 2025Updated last year
- Generate a Git Murder mystery☆14Jun 14, 2024Updated 2 years ago
- Relational Features for Planning☆15Mar 27, 2026Updated 5 months ago
- Cross-platform, high-throughput computing utility for processing shell commands over a distributed, asynchronous queue.☆43Aug 5, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- Algorithm Selection scenario data☆30Sep 29, 2025Updated 11 months ago
- Material for the SC22 Deep Learning at Scale Tutorial☆41Jul 14, 2023Updated 3 years ago
- A tool for creating Python implementations of SBML models.☆15Oct 5, 2022Updated 3 years ago
- Module to create static html reports☆14Jul 2, 2024Updated 2 years ago
- Computing the gap statistics from Tibshirani et. al. for various clustering algorithms☆14Nov 10, 2025Updated 9 months ago
- Code for the Kaggle Marinexplore challenge☆17Apr 8, 2013Updated 13 years ago
- FISH Iterative Cell Typing☆11Mar 24, 2024Updated 2 years ago
- Code repository for the paper "Towards a Comprehensive Evaluation of Dimension Reduction Methods for Data Visualization"☆15Jul 4, 2024Updated 2 years ago
- 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.
- The R package varycoef implements Gaussian processes spatially varying coefficient models.☆16May 4, 2025Updated last year
- Test genes for Spatial Variation☆15Dec 20, 2024Updated last year
- Superpixel segmentation using SLIC and Felzenszwalb.☆15Apr 6, 2021Updated 5 years ago
- ☆39Jul 2, 2023Updated 3 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- Exact biosequence alignment and folding on GPUs — Needleman-Wunsch, Smith-Waterman, Levenshtein, Zuker, and Sankoff with Gotoh adjustment…☆33Aug 25, 2026Updated last week
- Code for the paper "ZHEClean: Cleaning Dirty Knowledge Graphs using Zero Human-labeled Examples"☆10Jul 23, 2021Updated 5 years ago