sybila / biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
☆20Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for biodivine-lib-bdd
- A high-performance implementation of the IC3/PDR algorithm in Rust.☆16Updated this week
- Concurrent decision diagram framework written in Rust☆40Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆24Updated 3 weeks ago
- Rust Analysis Platform☆39Updated this week
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- ☆135Updated 5 months ago
- Pono: A flexible and extensible SMT-based model checker☆82Updated last month
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- RustHorn: A CHC-based automated verifier for Rust☆73Updated this week
- The source code to the Voss II Hardware Verification Suite☆53Updated 2 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆81Updated this week
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆14Updated last year
- ☆14Updated 2 years 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
- ☆50Updated last year
- AMulet 2. - A better AIG Multiplier Examination Tool☆20Updated 2 years ago
- A tool for synthesis of Rust code, very early prototype☆13Updated 10 months ago
- BTOR2 MLIR project☆16Updated 10 months ago
- A curated list of awesome Rust checkers☆14Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆81Updated this week
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- SAT solver written in Rust☆253Updated 2 years ago
- A generic parser and tool package for the BTOR2 format.☆40Updated 2 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆16Updated this week
- A framework for large scale analysis of the Rust ecosystem.☆38Updated last week
- MonoSAT - An SMT solver for Monotonic Theories☆107Updated last year
- Benchmarking Suite for BDD packages☆11Updated last week
- A program synthesis framework for verified lifting applications☆39Updated 3 weeks ago
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆31Updated 3 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆13Updated last week