A constraint modelling and rewriting library and compiler framework written in rust
☆31Mar 3, 2026Updated this week
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
- ☆32Feb 22, 2024Updated 2 years ago
- The Chuffed CP solver☆122Updated this week
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Dec 23, 2025Updated 2 months 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 last month
- 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 5 months ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- Use MiniZinc in the browser or with NodeJS☆52Jan 28, 2026Updated last month
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 2 years ago
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated 2 weeks ago
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆67Updated 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☆36Mar 2, 2026Updated last week
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- A Python Library for modeling combinatorial constrained problems☆81Mar 2, 2026Updated last week
- DDO a generic and efficient framework for MDD-based optimization.☆69May 23, 2025Updated 9 months ago
- Convert JSON schemas into Nickel contracts☆40Mar 1, 2026Updated last week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 11 months ago
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆38Feb 26, 2026Updated last week
- A tool designed to process and analyze .xcresult bundles generated from Xcode test runs. It extracts key insights and outputs a detailed …☆10Dec 16, 2024Updated last year
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 9 months ago
- A solver based on column generation☆41Dec 27, 2025Updated 2 months ago
- A command-line tool that gives information about Unicode characters☆43Jan 14, 2021Updated 5 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 7 years ago
- prediction market indexer with semantic search☆35Jan 27, 2026Updated 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 4 months ago
- Implementation of SPQ, WRR, and DWRR Scheduling Algorithms☆10Dec 23, 2019Updated 6 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- dblp Knowledge Graph☆15Jan 16, 2025Updated last year
- 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
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago