c-cube / batsatLinks
A (parametrized) Rust SAT solver originally based on MiniSat
☆31Updated 4 months ago
Alternatives and similar repositories for batsat
Users that are interested in batsat are comparing it to the libraries listed below
Sorting:
- MiniSat reimplemented in Rust☆20Updated 7 years ago
- A set of tools for Coq written in Rust☆14Updated 7 years ago
- A Rust hashconsing library.☆32Updated 10 months ago
- Visualization tool for your IO-uring workload☆17Updated 9 months ago
- Easy SMT solver interaction☆35Updated 2 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆17Updated 3 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- ☆22Updated 9 years ago
- The Steel separation logic library for F*☆35Updated 3 weeks ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last week
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated last year
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- A simple induction and BMC engine.☆23Updated 3 years ago
- A type checker for the Lean theorem prover☆41Updated 4 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- The Pulse separation logic DSL for F*☆16Updated last week
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Updated 3 weeks ago
- Bin_prot binary protocols in Rust☆20Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆21Updated last month
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated last month
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Formal semantics of Rust☆23Updated 4 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago