A cpmpy-based library for constraint acquisition.
☆23Aug 20, 2026Updated last month
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☆28Sep 14, 2026Updated 3 weeks ago
- Exact optimization for cost function networks and additive graphical models☆68Updated this week
- ☆12Nov 29, 2023Updated 2 years ago
- Explainable Constraint Solving - A Hands-On Tutorial☆31Aug 27, 2026Updated last month
- SATZilla SAT feature extraction tool☆15Mar 23, 2026Updated 6 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.
- Replacing standard support propagation by belief propagation in MiniCP☆15Apr 7, 2026Updated 6 months ago
- seahorse - A handy package for kickstarting AI contests☆87Aug 30, 2026Updated last month
- ☆24Aug 25, 2026Updated last month
- TSP benchmark problem generator written in pure R.☆27Jun 29, 2021Updated 5 years ago
- Selecting features as (network) nodes☆11May 27, 2018Updated 8 years ago
- Manthan for Boolean function synthesis☆36Oct 3, 2026Updated last week
- 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 2 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.
- The Meta-CSP Framework: a Java API for meta-constraint reasoning☆14May 31, 2021Updated 5 years 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 …☆32Aug 6, 2026Updated 2 months ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Repository of the pipeline of computational methods for logical modelling of biological networks that are deregulated in diseases, develo…☆10Mar 14, 2026Updated 6 months ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆30Feb 16, 2020Updated 6 years ago
- Eine Sammlung der Experimente aus dem "Methodisch Inkorrekt"-Podcast☆14Dec 25, 2018Updated 7 years ago
- ☆10May 11, 2021Updated 5 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆33Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 8 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
- Analaysis for the batch correction paper☆12Apr 26, 2025Updated last year
- ☆12May 21, 2025Updated last year
- Generate a Git Murder mystery☆14Jun 14, 2024Updated 2 years ago
- Relational Features for Planning☆16Mar 27, 2026Updated 6 months ago
- ☆11Jun 16, 2018Updated 8 years ago
- Cross-platform, high-throughput computing utility for processing shell commands over a distributed, asynchronous queue.☆45Aug 5, 2026Updated 2 months 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.
- Plugin for Babel which generates JSX Intermediate Representation☆10Sep 19, 2015Updated 11 years ago
- This repository contains the code for all figures in the paper "General Pitfalls of Model-agnostic Interpretation Methods for Machine Lea…☆15Aug 17, 2021Updated 5 years 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 4 years ago
- Computing the gap statistics from Tibshirani et. al. for various clustering algorithms☆15Nov 10, 2025Updated 11 months ago
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated last year
- Code for the Kaggle Marinexplore challenge☆17Apr 8, 2013Updated 13 years ago