shackle-rs / shackleLinks
A constraint modelling and rewriting library and compiler framework written in rust
☆23Updated 2 weeks ago
Alternatives and similar repositories for shackle
Users that are interested in shackle are comparing it to the libraries listed below
Sorting:
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated 2 weeks ago
- A lazy clause generation constraint solver written in Rust.☆30Updated this week
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last week
- Type-Level Programming in Rust☆27Updated 3 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Constraint programming in Rust☆106Updated last year
- A date and time library for Lean 4☆12Updated last month
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 6 months ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 4 months ago
- ☆13Updated 3 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- Verifier for pseudo-Boolean proofs☆14Updated 2 years ago
- The Pulse separation logic DSL for F*☆16Updated this week
- Datalog with equality for rust☆68Updated last month
- A Rust port of Jane Street's Incremental library.☆26Updated 4 months ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Updated 3 years ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆93Updated 2 weeks ago
- A different approach to an E-graph library☆25Updated last week
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆16Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- A WebAssembly implementation in Lean4☆34Updated last year
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated this week
- A Rust implementation of the Lean kernel☆10Updated 2 years ago