sybila / biodivine-lib-bddLinks
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
☆22Updated last week
Alternatives and similar repositories for biodivine-lib-bdd
Users that are interested in biodivine-lib-bdd are comparing it to the libraries listed below
Sorting:
- Concurrent decision diagram framework written in Rust☆61Updated last week
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated 11 months ago
- RustHorn: A CHC-based automated verifier for Rust☆83Updated 3 months ago
- Rewrite Rule Inference Using Equality Saturation☆127Updated 2 weeks ago
- ☆37Updated this week
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆14Updated 7 months ago
- ☆18Updated 2 weeks ago
- Interface with the rustc compiler for the purpose of program verification☆160Updated last week
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Updated 9 months ago
- A community preview of ongoing formal verification efforts for Asterinas☆22Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆107Updated this week
- Pono: A flexible and extensible SMT-based model checker☆103Updated last week
- The source code to the Voss II Hardware Verification Suite☆56Updated 2 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆15Updated 7 months ago
- ☆152Updated last year
- Benchmarking Suite for BDD packages☆17Updated last month
- ☆15Updated 2 years ago
- A framework for large scale analysis of the Rust ecosystem.☆37Updated last week
- A curated list of awesome Rust checkers☆41Updated 2 months ago
- ☆55Updated 2 years ago
- An experimental optimizing compiler for Bril☆70Updated this week
- Random Generator of Btor2 Files☆10Updated last year
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆98Updated last month
- Symbolic execution tool for Sail ISA specifications☆73Updated this week
- Solver for Constrained Horn Clauses☆39Updated 2 weeks ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- BTOR2 MLIR project☆26Updated last year
- ☆38Updated this week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated 3 months ago
- RISCV Core written in Calyx☆16Updated 10 months ago