OxiDD / oxidd
Concurrent decision diagram framework written in Rust
☆40Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for oxidd
- CAQE is a solver for quantified Boolean formulas☆30Updated last year
- ☆32Updated 3 months ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆114Updated this week
- Libraries useful for Dafny programs☆43Updated last week
- The glucose SAT solver☆77Updated this week
- SAT Solver SATCH☆107Updated 2 years ago
- Definition of the Viper intermediate verification language.☆79Updated 2 weeks ago
- microsat☆130Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆62Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆24Updated 2 weeks ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- A Modern Probabilistic Model Checker☆135Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆79Updated last week
- Pedagogical first-order prover in Python☆73Updated this week
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- Approximate Model Counter☆70Updated 3 months ago
- Solver for Constrained Horn Clauses☆34Updated this week
- SMTInterpol interpolating SMT solver☆60Updated 4 months ago
- ☆52Updated 2 months ago
- Pono: A flexible and extensible SMT-based model checker☆80Updated 2 weeks ago
- ☆15Updated 8 months ago
- The DRAT-trim proof checker☆50Updated 6 months ago
- Benchmarking Suite for BDD packages☆11Updated last week
- A toolbox for knowledge compilation☆21Updated this week
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆20Updated last week
- ☆25Updated this week
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- The Eldarica model checker☆80Updated 2 weeks ago
- ☆25Updated 5 months ago