A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural language. Includes problems from CP, IP, SAT communities with ground-truth models, data instances, and automated evaluation framework supporting multiple constraint modelling systems
☆25Oct 26, 2026Updated this week
Alternatives and similar repositories for DCP-Bench-Open
Users that are interested in DCP-Bench-Open 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☆29Sep 14, 2026Updated last month
- MaxiCP☆45Oct 16, 2026Updated 2 weeks ago
- Explainable Constraint Solving - A Hands-On Tutorial☆31Aug 27, 2026Updated 2 months ago
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆49Jul 9, 2026Updated 3 months ago
- A cpmpy-based library for constraint acquisition.☆24Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆28Sep 23, 2025Updated last year
- Implementation of the Caprara, Fischetti, and Toth algorithm for the Set Covering problem.☆18Mar 5, 2025Updated last year
- Generators for Combinatorial Optimization☆20May 16, 2023Updated 3 years ago
- Repository for the CLEVR-Hans dataset☆12Mar 11, 2021Updated 5 years ago
- Official repository for "Logically Consistent Language Models via Neuro-Symbolic Integration", accepted at ICLR 2025.☆12Mar 11, 2025Updated last year
- ☆12Jun 1, 2026Updated 5 months ago
- An Imperishable Wonderland of Infinite Fun☆15Apr 17, 2024Updated 2 years ago
- Code and data from the paper "Exponential-size neighborhoods for the pickup-and-delivery traveling salesman problem", authored by T. Pach…☆20Jan 18, 2023Updated 3 years ago
- This is the second version of the RKO framework in C++☆25Mar 14, 2026Updated 7 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A solver based on column generation☆45Sep 23, 2026Updated last month
- [IJCAI'25] Bandit-based Adaptive Large-Neighborhood Search☆24Aug 13, 2026Updated 2 months ago
- Reranking-based dependency parsing with inside-outside recursive neural network☆21Oct 11, 2014Updated 12 years ago
- DeepLog: the PyTorch for neurosymbolic AI☆25Updated this week
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆58Sep 17, 2026Updated last month
- A curated bundle of Claude Code skills for power users☆14Sep 9, 2026Updated last month
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆60Updated this week
- Algorithm Configuration Visualizations for irace!☆12Oct 28, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12Apr 8, 2023Updated 3 years ago
- Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''☆21Feb 2, 2024Updated 2 years ago
- Access to all MiniZinc functionality directly from Python☆213Sep 10, 2026Updated last month
- Header-only C++23 bucket graph labeling for the SPPRC — the pricing subproblem in vehicle routing column generation☆30Updated this week
- ☆18Mar 2, 2022Updated 4 years ago
- Representing CP problems as graphs☆21Dec 18, 2024Updated last year
- The ecosystem reshaping mathematics.☆11Apr 29, 2026Updated 6 months ago
- A constraint programming solver with support for proof logging☆20Updated this week
- Data-driven simulation of taxi trips. Analysis of taxi information systems.☆15Jun 13, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12May 7, 2026Updated 5 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- Calcolatori Elettronici - UniTn - prof. Iacca☆12Feb 17, 2020Updated 6 years ago
- A benchmark library for constraints☆106Sep 28, 2026Updated last month
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- ICDM19 - Anomaly Detection / Outlier Detection for Mixed data☆14Dec 6, 2020Updated 5 years ago
- A solver based on local search☆15Jun 6, 2026Updated 4 months ago