A constraint modelling and rewriting library and compiler framework written in rust
☆33Sep 24, 2026Updated this week
Alternatives and similar repositories for shackle
Users that are interested in shackle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CP+SAT solver framework built to be reliable, performant, and extensible☆58Updated this week
- ☆12Jun 1, 2026Updated 3 months ago
- ☆17Updated this week
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Use MiniZinc in the browser or with NodeJS☆62Sep 5, 2026Updated 3 weeks ago
- My unofficial picat http://picat-lang.org/ repository☆32Jan 11, 2024Updated 2 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆73May 23, 2025Updated last year
- Verified, Incremental, Binary Editing with Synthesis☆56Mar 7, 2023Updated 3 years ago
- Modeling and Programming with Gecode☆50Sep 6, 2026Updated 3 weeks ago
- An open-source course on constraint solving☆27Sep 14, 2026Updated last week
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated 2 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- A constraint solver purely on GPUs (CUDA)☆55Sep 6, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Updated this week
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆101Updated this week
- Reranking-based dependency parsing with inside-outside recursive neural network☆21Oct 11, 2014Updated 11 years ago
- A Python Library for modeling combinatorial constrained problems☆87Updated this week
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆25Sep 6, 2026Updated 3 weeks ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- Constraint Solver ACE☆40Sep 15, 2026Updated last week
- Mean-shift Clustering with Tensorflow☆16Mar 25, 2017Updated 9 years ago
- A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural langu…☆21Updated this week
- 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.
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆376Updated this week
- A basic wrapper to allow access to OEIS from within Julia.☆17Apr 29, 2020Updated 6 years ago
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 3 years ago
- An academic Touying theme for creating presentation slides in Typst for members of the University of Strasbourg, France☆21Sep 16, 2026Updated last week
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- Poplog☆22Nov 18, 2010Updated 15 years ago
- Binary decision diagram library (Lua)☆16May 24, 2015Updated 11 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- fast probabilistic symmetry detection on graphs☆22Aug 13, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Replacing standard support propagation by belief propagation in MiniCP☆15Apr 7, 2026Updated 5 months ago
- The website for the Sentient Programming Language.☆11Oct 5, 2022Updated 3 years ago
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 7 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago
- Project Moore: a Wagtail/Django based web-application for the UTN IT infrastructure☆14Mar 11, 2024Updated 2 years ago
- PEQNP Mathematical Solver☆14Sep 25, 2021Updated 5 years ago