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
- ☆32Feb 22, 2024Updated last year
- 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
- 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
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- Use MiniZinc in the browser or with NodeJS☆52Jan 28, 2026Updated 2 weeks 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
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- Constraint Solver ACE☆36Updated this week
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- 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
- 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
- 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
- A solver based on column generation☆40Dec 27, 2025Updated last month
- 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
- UDisks2 D-Bus interfaces binding for Qt5.☆10Jul 11, 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
- JSSP dataset for LLMs☆17May 29, 2025Updated 8 months ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 6 years ago
- ☆11Dec 31, 2020Updated 5 years ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Implementation of SPQ, WRR, and DWRR Scheduling Algorithms☆10Dec 23, 2019Updated 6 years ago
- Small command line tool to convert ASCII images to GBDK GameBoy tiles☆10Mar 19, 2023Updated 2 years ago
- Platform-agnostic Rust driver for the APDS9960 digital proximity, ambient light, RGB and gesture sensor.☆10Aug 17, 2022Updated 3 years ago
- prediction market indexer with semantic search☆35Jan 27, 2026Updated 2 weeks ago