shackle-rs / shackleView external linksLinks
A constraint modelling and rewriting library and compiler framework written in rust
☆29Jan 12, 2026Updated last month
Alternatives and similar repositories for shackle
Users that are interested in shackle are comparing it to the libraries listed below
Sorting:
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- A configuration language written for the modern apps☆10Sep 27, 2017Updated 8 years ago
- The Chuffed CP solver☆119Jan 6, 2026Updated last month
- Nutmeg – a MIP and CP branch-and-check solver☆31Jun 22, 2023Updated 2 years ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- ☆16Jan 24, 2026Updated 3 weeks ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- Automatically exported from code.google.com/p/full-maude☆16Sep 18, 2025Updated 4 months ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- Use MiniZinc in the browser or with NodeJS☆52Jan 28, 2026Updated 2 weeks ago
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 2 years ago
- An open-source course on constraint solving☆25Oct 24, 2025Updated 3 months ago
- Modeling and Programming with Gecode☆50Nov 21, 2022Updated 3 years ago
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆66Updated this week
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Jul 18, 2024Updated last year
- Constraint Solver ACE☆36Updated this week
- SAT solver library in Go; wraps around Google's Operational Research Tools☆26Apr 19, 2023Updated 2 years ago
- A Python Library for modeling combinatorial constrained problems☆81Feb 3, 2026Updated last week
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆30Aug 23, 2023Updated 2 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆68May 23, 2025Updated 8 months ago
- Convert JSON schemas into Nickel contracts☆40Updated this week
- Rust bindings for libjsonnet☆29Mar 13, 2023Updated 2 years ago
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆38Feb 3, 2026Updated last week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 10 months ago
- Generic Constraint Development Environment☆319Jan 20, 2026Updated 3 weeks ago
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago
- ☆38Feb 11, 2022Updated 4 years ago
- Some papers on Knowledge Graph Embedding(KGE)☆13Aug 16, 2022Updated 3 years ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- ☆11Dec 31, 2020Updated 5 years ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- PAKCS: The Portland Aachen Kiel Curry system☆14Dec 16, 2025Updated last month
- A Gradio based image processing site/tool for converting images to hardware-accurate Game Boy and Game Boy Colour representations☆19Oct 31, 2025Updated 3 months ago
- Small command line tool to convert ASCII images to GBDK GameBoy tiles☆10Mar 19, 2023Updated 2 years ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 6 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 4 years ago