shackle-rs / shackleLinks
A constraint modelling and rewriting library and compiler framework written in rust
☆23Updated this week
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 last month
- A lazy clause generation constraint solver written in Rust.☆30Updated this week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆98Updated last month
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- COmpact SOlver for COnstrained problems☆12Updated 2 weeks ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 5 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- Constraint programming in Rust☆107Updated last year
- A Rust hashconsing library.☆32Updated 11 months ago
- A Rust port of Jane Street's Incremental library.☆27Updated 5 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 7 months ago
- Verifier for pseudo-Boolean proofs☆14Updated 2 years ago
- A set of tools for Coq written in Rust☆14Updated 7 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- Datalog with equality for rust☆68Updated last month
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆16Updated last year
- ☆32Updated last year
- A library for deadlock-free multiparty session-typed communication in Rust.☆30Updated 9 months ago
- MiniSat reimplemented in Rust☆20Updated 7 years ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆44Updated 2 weeks ago
- ☆17Updated last year
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆60Updated 11 months ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago