OxiDD / oxiddLinks
Concurrent decision diagram framework written in Rust
☆64Updated last month
Alternatives and similar repositories for oxidd
Users that are interested in oxidd are comparing it to the libraries listed below
Sorting:
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆129Updated last week
- Rewrite Rule Inference Using Equality Saturation☆136Updated 3 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆113Updated this week
- Benchmarking Suite for BDD packages☆17Updated this week
- Definition of the Viper intermediate verification language.☆89Updated this week
- An awesome list of e-graph resources☆233Updated last week
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆23Updated last week
- ☆39Updated last week
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- Approximate Model Counter☆80Updated this week
- The glucose SAT solver☆123Updated 3 months ago
- Pono: A flexible and extensible SMT-based model checker☆110Updated this week
- Lean models of Rust libraries☆19Updated last year
- ☆35Updated last month
- SAT Solver SATCH☆119Updated 2 years ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆280Updated this week
- CAQE is a solver for quantified Boolean formulas☆34Updated 2 years ago
- microsat☆138Updated 3 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆42Updated 6 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 weeks ago
- Solver for Constrained Horn Clauses☆45Updated last week
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated this week
- A minimal development of SSA theory☆178Updated this week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated last week
- Implementation of multi-core (binary) decision diagrams☆77Updated 3 weeks ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- A verification toolchain for Rust programs☆376Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated this week
- ☆55Updated 2 weeks ago
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated last year