chrjabs / rustsatLinks
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
☆45Updated last week
Alternatives and similar repositories for rustsat
Users that are interested in rustsat are comparing it to the libraries listed below
Sorting:
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆114Updated last week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated 3 months ago
- Interface with the rustc compiler for the purpose of program verification☆194Updated last week
- UB-free and deterministic rustc fuzzer☆91Updated 2 months ago
- A high-level API for interacting with SMT solvers.☆28Updated 3 weeks ago
- An experimental optimizing compiler for Bril☆76Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated last week
- Rewrite Rule Inference Using Equality Saturation☆137Updated 3 months ago
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆46Updated this week
- Define compiler intermediate representation usable by external tools☆85Updated last month
- An Extensible Compiler IR Framework☆207Updated 3 weeks ago
- ☆166Updated 6 months ago
- Mental model for unsafe in Rust☆18Updated 7 months ago
- A framework for writing plugins that integrate with the Rust compiler☆157Updated this week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- A Rust verification tool☆293Updated this week
- A different approach to an E-graph library☆28Updated 4 months ago
- Debugger written in Rust☆24Updated 3 years ago
- Easy SMT solver interaction☆35Updated 2 months ago
- ☆31Updated 2 weeks ago
- automatially find crashes in the rust compiler & tooling☆75Updated last year
- Propositional logic with types in Rust☆63Updated 2 years ago
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 6 months ago
- We have Crater At Home☆36Updated 11 months ago
- ☆76Updated last year
- Rust bindings to the MLIR C API.☆67Updated last week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆21Updated this week
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆67Updated last year
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆31Updated 4 years ago