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.
☆35Updated this 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.☆99Updated last week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆98Updated last month
- A high-level API for interacting with SMT solvers.☆28Updated last month
- Rewrite Rule Inference Using Equality Saturation☆127Updated 3 weeks ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- A different approach to an E-graph library☆25Updated 3 weeks 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
- Interface with the rustc compiler for the purpose of program verification☆160Updated last week
- An attempt at safe imperative GPU programming.☆45Updated last week
- Symbolic execution tool for Sail ISA specifications☆73Updated last week
- ☆15Updated last month
- Easy SMT solver interaction☆35Updated 3 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆86Updated this week
- Kani VSCode Extension☆18Updated last month
- An experimental optimizing compiler for Bril☆70Updated this week
- Propositional logic with types in Rust☆62Updated last year
- UB-free and deterministic rustc fuzzer☆84Updated 3 weeks ago
- Scope Graph Implementation in Rust☆27Updated 7 months ago
- Arbitrary width integers☆20Updated 3 months ago
- ☆12Updated last month
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months ago
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆32Updated 4 years ago
- Scalable and lock-free memory reclamation system☆30Updated last month
- A self-generating WebAssembly parser & serializer in Rust.☆18Updated last month
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆14Updated 7 months ago
- New register allocator designed as a successor to regalloc2☆38Updated last week
- A Rust implementation of interval arithmetic (IEEE 1788)☆41Updated 5 months ago
- Experimenting with Rust's fundamental data model☆52Updated 8 months ago
- RustHorn: A CHC-based automated verifier for Rust☆83Updated 3 months ago
- An optimization modeling language with solvers for MILP problems☆50Updated 2 months ago