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.
☆41Updated 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.☆112Updated this week
- Interface with the rustc compiler for the purpose of program verification☆187Updated this week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated 2 months ago
- A high-level API for interacting with SMT solvers.☆28Updated last month
- ☆164Updated 5 months ago
- UB-free and deterministic rustc fuzzer☆89Updated last month
- automatially find crashes in the rust compiler & tooling☆75Updated last year
- Define compiler intermediate representation usable by external tools☆81Updated last week
- Rewrite Rule Inference Using Equality Saturation☆133Updated 2 months ago
- An Extensible Compiler IR Framework☆190Updated last week
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- An experimental optimizing compiler for Bril☆72Updated this week
- A framework for writing plugins that integrate with the Rust compiler☆154Updated this week
- Mental model for unsafe in Rust☆18Updated 6 months ago
- Verifying the Rust standard library☆267Updated this week
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆42Updated this week
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆91Updated this week
- ☆76Updated last year
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆354Updated this week
- A Rust verification tool☆288Updated 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 different approach to an E-graph library☆28Updated 3 months ago
- Propositional logic with types in Rust☆62Updated 2 years ago
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆20Updated 2 weeks ago
- A new register allocator☆236Updated last week
- An attempt at safe imperative GPU programming.☆49Updated 2 weeks ago
- ☆12Updated 4 months ago
- Safe Interactions with Foreign Languages through Omniglot☆27Updated last month