c-cube / batsatLinks
A (parametrized) Rust SAT solver originally based on MiniSat
☆31Updated 5 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
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Visualization tool for your IO-uring workload☆17Updated 10 months ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Easy SMT solver interaction☆35Updated 3 months ago
- A set of tools for Coq written in Rust☆14Updated 7 years ago
- A simple induction and BMC engine.☆23Updated 3 years ago
- A Rust hashconsing library.☆32Updated 11 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆26Updated 2 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated last year
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- OCaml rewrite of the ixy network driver☆35Updated 4 years ago
- The Pulse separation logic DSL for F*☆20Updated last week
- ☆22Updated 9 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆17Updated 3 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆21Updated 2 months ago
- High level Lean 4 FFI for Rust☆14Updated last year
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Numerical Optimisation Library☆16Updated last year
- Benchmark repository of polyglot effect handler examples☆24Updated 2 months ago
- The Steel separation logic library for F*☆35Updated last month
- Software construction and deployment kit☆33Updated 2 weeks ago
- A type checker for the Lean theorem prover☆41Updated 4 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Updated 2 weeks ago