sybila / biodivine-lib-bddLinks
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
☆22Updated last month
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 3 weeks ago
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated 10 months ago
- ☆34Updated this week
- RustHorn: A CHC-based automated verifier for Rust☆83Updated 2 months ago
- ☆54Updated 2 years ago
- Rewrite Rule Inference Using Equality Saturation☆127Updated this week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated 2 months ago
- ☆18Updated 2 weeks ago
- ☆151Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Updated 8 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆93Updated 2 weeks ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆105Updated last week
- A tool for synthesis of Rust code, very early prototype☆13Updated last year
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated 2 months ago
- Random Generator of Btor2 Files☆10Updated last year
- Symbolic execution tool for Sail ISA specifications☆67Updated 2 weeks ago
- Benchmarking Suite for BDD packages☆16Updated 3 weeks 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
- A verification tool for many memory models☆94Updated this week
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆22Updated last week
- A curated list of awesome Rust checkers☆38Updated last month
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆14Updated 6 months ago
- ☆15Updated 2 years ago
- Interface with the rustc compiler for the purpose of program verification☆151Updated this week
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆14Updated 6 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- ☆47Updated 3 years ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆25Updated 2 years ago
- Pono: A flexible and extensible SMT-based model checker☆103Updated this week