The CP solver Chuffed
☆20Sep 26, 2016Updated 9 years ago
Alternatives and similar repositories for chuffed
Users that are interested in chuffed are comparing it to the libraries listed below
Sorting:
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- Syntax highlighting for minizinc (CP) and gringo (ASP) source code.☆17Feb 28, 2022Updated 4 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- A suite of MiniZinc benchmarks.☆87Dec 12, 2025Updated 2 months ago
- Algorithm Selection scenario data☆30Sep 29, 2025Updated 5 months ago
- Generic Constraint Development Environment☆319Feb 23, 2026Updated last week
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated last month
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆75Feb 17, 2026Updated last week
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 10 years ago
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 2 years ago
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- The MiniZinc compiler☆666Updated this week
- A semantic search engine for source code☆35Oct 14, 2020Updated 5 years ago
- Conjure: The Automated Constraint Modelling Tool☆111Updated this week
- A constraint modelling and rewriting library and compiler framework written in rust☆31Feb 23, 2026Updated last week
- A Python Library for modeling combinatorial constrained problems☆81Feb 3, 2026Updated 3 weeks ago
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- ScheduleOpt benchmarks☆16Updated this week
- My public programs and models - mostly combinatorial problems and puzzles☆398Nov 27, 2025Updated 3 months ago
- Runtime code generation for x86 machine code☆26Sep 30, 2023Updated 2 years ago
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆38Updated this week
- C++ template edition of the (standard) kalman filter☆10Aug 26, 2012Updated 13 years ago
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆10Feb 11, 2023Updated 3 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Mass Parallel Secure Shell command execution☆12Nov 9, 2025Updated 3 months ago
- Implementation of SPQ, WRR, and DWRR Scheduling Algorithms☆10Dec 23, 2019Updated 6 years ago
- A benchmark library for constraints☆99Oct 29, 2025Updated 4 months ago
- KaPoCE is a framework for solving the cluster editing problem that asks to transform an input graph into a cluster graph (a disjoint unio…☆11Dec 19, 2022Updated 3 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- A library for GNU make to schedule rules as jobs with qsub or sbatch☆11Mar 7, 2013Updated 12 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- Run ssh in parallel using xargs☆15Feb 20, 2014Updated 12 years ago
- Python library for vectorial Boolean functions in cryptography☆11Nov 15, 2023Updated 2 years ago
- A tiny tool to learn the assembly code☆12Feb 17, 2017Updated 9 years ago
- decompression algorithms for NDS☆17Apr 13, 2012Updated 13 years ago
- Composable high-level instrumentation for C libraries' malloc and friends☆18Nov 15, 2025Updated 3 months ago
- ☆10Jun 13, 2014Updated 11 years ago