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.
☆30Updated this week
Alternatives and similar repositories for rustsat
Users that are interested in rustsat are comparing it to the libraries listed below
Sorting:
- A high-level API for interacting with SMT solvers.☆28Updated 3 weeks ago
- A different approach to an E-graph library☆25Updated last week
- Rewrite Rule Inference Using Equality Saturation☆127Updated last week
- A lazy clause generation constraint solver written in Rust.☆30Updated this week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆93Updated 2 weeks ago
- An experimental optimizing compiler for Bril☆69Updated last week
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆14Updated 6 months ago
- An attempt at safe imperative GPU programming.☆44Updated this week
- Interface with the rustc compiler for the purpose of program verification☆151Updated this week
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆32Updated 4 years 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
- Concurrent decision diagram framework written in Rust☆61Updated 3 weeks ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- ☆23Updated this week
- library implementing interaction with various linear programming solvers☆21Updated last year
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Updated 2 weeks ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆38Updated this week
- The Pulse separation logic DSL for F*☆16Updated this week
- Easy SMT solver interaction☆35Updated 2 months ago
- Automatically generate a compiler using equality saturation☆30Updated last year
- An optimization modeling language with solvers for MILP problems☆50Updated 2 months ago
- ☆14Updated 2 weeks ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last week
- UB-free and deterministic rustc fuzzer☆80Updated 2 weeks ago
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated 2 weeks ago
- ☆38Updated 9 months ago
- A repo just containing everything to build a working enzyme/rustc/llvm/clang stack.☆9Updated 3 years ago
- A Rust port of the WebGraph framework☆53Updated 2 weeks ago
- A Rust hashconsing library.☆32Updated 10 months ago
- Arbitrary width integers☆18Updated 2 months ago