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.
☆48Updated last week
Alternatives and similar repositories for rustsat
Users that are interested in rustsat are comparing it to the libraries listed below
Sorting:
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated 3 months ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆119Updated this week
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆48Updated last week
- Interface with the rustc compiler for the purpose of program verification☆200Updated this week
- Define compiler intermediate representation usable by external tools☆87Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- A high-level API for interacting with SMT solvers.☆29Updated last month
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- UB-free and deterministic rustc fuzzer☆90Updated 3 months ago
- An Extensible Compiler IR Framework☆215Updated last week
- Propositional logic with types in Rust☆64Updated 2 years ago
- An experimental optimizing compiler for Bril☆78Updated this week
- ☆174Updated 7 months ago
- automatially find crashes in the rust compiler & tooling☆79Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated last month
- A reasonable theorem prover for your reasoning tasks!☆26Updated 8 months ago
- Resilient LL(1) parser generator for Rust☆173Updated last month
- An optimization modeling language with solvers for MILP problems☆59Updated last month
- A new register allocator☆239Updated last month
- Rust bindings to the MLIR C API.☆68Updated last month
- Library facilitating safe pinned initialization☆61Updated this week
- Constant-time dynamic memory allocator in Rust☆106Updated 4 months ago
- Cross-platform, endian-aware primitives for Rust☆41Updated 3 weeks ago
- Arbitrary width integers☆21Updated 2 months ago
- A lightweight, recoverable sandbox for executing untrusted RISC-V code in constrained environments☆53Updated 3 weeks ago
- PEG parser generator for creating ASTs in Rust☆41Updated last year
- Debugger written in Rust☆24Updated 3 years ago
- A framework for writing plugins that integrate with the Rust compiler☆160Updated 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.☆67Updated last year
- We have Crater At Home☆36Updated 11 months ago