A cpmpy-based library for constraint acquisition.
☆21Mar 23, 2026Updated 2 weeks 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 5 months ago
- Python script for downloading Kaltura videos from Toledo☆10Nov 15, 2022Updated 3 years ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆346Updated this week
- [Constraints'24] Ner4Opt: Named-Entity Recognition for Optimization☆17Mar 30, 2026Updated last week
- ☆12Nov 29, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- MaxiCP☆20Apr 3, 2026Updated last week
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆169Mar 27, 2024Updated 2 years ago
- Explainable Constraint Solving - A Hands-On Tutorial☆23Nov 28, 2025Updated 4 months ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 4 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆15Updated this week
- Versatile Verification of Tree Ensembles☆20Mar 3, 2026Updated last month
- TSP benchmark problem generator written in pure R.☆28Jun 29, 2021Updated 4 years ago
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated last month
- Selecting features as (network) nodes☆11May 27, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 5 months ago
- Representing CP problems as graphs☆21Dec 18, 2024Updated last year
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 2 months ago
- ☆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 3 weeks ago
- The Meta-CSP Framework: a Java API for meta-constraint reasoning☆13May 31, 2021Updated 4 years ago
- ☆24Jun 4, 2021Updated 4 years ago
- A proposed workflow for using Git subtree with shared code☆20May 28, 2012Updated 13 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆19Nov 11, 2017Updated 8 years ago
- Eine Sammlung der Experimente aus dem "Methodisch Inkorrekt"-Podcast☆14Dec 25, 2018Updated 7 years ago
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Apr 2, 2026Updated last week
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆19Nov 6, 2025Updated 5 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
- Graph Learning for Planning☆27Mar 27, 2026Updated 2 weeks ago
- The official GECCO 2024 Space Optimisation Competition (SpOC) organised by the Advanced Concepts Team (ACT).☆31Jan 16, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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 6 months ago
- A standalone local search solver for general mixed integer programming☆45Mar 25, 2026Updated 2 weeks ago
- ROS configuration files (URDF description, Gazebo launch files, MoveIt config, bringup launch files) for the Mobipick robot (MiR 100 base…☆43Nov 29, 2025Updated 4 months ago
- python reader for Andor sif file☆13Sep 28, 2020Updated 5 years ago
- ☆39Jul 2, 2023Updated 2 years ago
- (IJCAI 2019) Submodular Batch Selection for Training Deep Neural Networks☆21Nov 22, 2022Updated 3 years ago