sybila / biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
☆20Updated last week
Related projects ⓘ
Alternatives and complementary repositories for biodivine-lib-bdd
- A high-performance implementation of the IC3/PDR algorithm in Rust.☆14Updated this week
- Concurrent decision diagram framework written in Rust☆40Updated 3 weeks ago
- Pono: A flexible and extensible SMT-based model checker☆80Updated 2 weeks ago
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆75Updated this week
- AMulet 2. - A better AIG Multiplier Examination Tool☆20Updated 2 years ago
- BTOR2 MLIR project☆16Updated 9 months ago
- ☆14Updated 2 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆24Updated 2 weeks ago
- A generic parser and tool package for the BTOR2 format.☆40Updated 2 months ago
- A curated list of awesome Rust checkers☆14Updated last month
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- ☆14Updated 3 months ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆55Updated 9 years ago
- The source code to the Voss II Hardware Verification Suite☆53Updated last month
- RustHorn: A CHC-based automated verifier for Rust☆73Updated last week
- Reads a state transition system and performs property checking☆76Updated this week
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆25Updated 3 months ago
- SAT solver written in Rust☆253Updated 2 years ago
- Benchmarking Suite for BDD packages☆11Updated last week
- The HW-CBMC and EBMC Model Checkers for Verilog☆60Updated this week
- ☆49Updated last year
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- Verifying the Rust standard library☆23Updated this week
- Rust Analysis Platform☆39Updated this week
- Recent papers related to hardware formal verification.☆59Updated last year
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆86Updated last month
- MonoSAT - An SMT solver for Monotonic Theories☆107Updated last year