c-cube / batsatLinks
A (parametrized) Rust SAT solver originally based on MiniSat
☆32Updated 9 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 Rust hashconsing library.☆35Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆17Updated 3 weeks ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆22Updated 6 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A type checker for the Lean theorem prover☆40Updated 4 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- OCaml runtime and FFI bindings directly in Rust☆78Updated 8 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Easy SMT solver interaction☆34Updated 3 months ago
- An automated theorem prover for first order logic.☆30Updated 8 years ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- ☆21Updated 9 years ago
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- Visualization tool for your IO-uring workload☆16Updated last year
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆29Updated last year
- An OCaml extension for RISC-V☆16Updated 4 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆20Updated 5 months ago
- Datalog with equality for rust☆71Updated this week
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 2 months ago
- ☆33Updated last month
- The Pulse separation logic DSL for F*☆27Updated this week
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Updated 6 years ago