sybila / biodivine-lib-bddView external linksLinks
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
☆24Jan 8, 2026Updated 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☆77Dec 3, 2025Updated 2 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 7 months ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 7 months ago
- 🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph☆103Jan 22, 2018Updated 8 years ago
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆22Mar 15, 2025Updated 11 months ago
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- AMulet 2. - A better AIG Multiplier Examination Tool☆26Dec 23, 2025Updated last month
- Theses-Checker is a tool for students and teachers alike to check theses for frequent typographical errors and see content analysis for q…☆15Jan 5, 2026Updated last month
- AIGER And-Inverter-Graph Library☆97Jan 8, 2026Updated last month
- OpenChord is a Python library for creating chord diagrams.☆11Feb 4, 2025Updated last year
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- ☆43Apr 18, 2023Updated 2 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Jun 27, 2025Updated 7 months ago
- A terminal-renderer☆10Jun 8, 2025Updated 8 months ago
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- Wavious Wlink☆12Oct 28, 2021Updated 4 years ago
- Minimal example to demonstrate non-sequentially consistent executions on x86/x64☆13Jan 12, 2018Updated 8 years ago
- A demo of using WebRTC with no signaling server.☆13Sep 3, 2021Updated 4 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 10 months ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 6 months ago
- An experimental LLVM pass plugin that allows you to apply the State of the Art function merging techniques☆16Feb 8, 2025Updated last year
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- ☆12Sep 28, 2021Updated 4 years ago
- Rust support for RISC-V Platform-Level Interrupt Controller☆10Oct 13, 2022Updated 3 years ago
- A generic parser and tool package for the BTOR2 format.☆46Sep 18, 2025Updated 4 months ago
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Feb 6, 2026Updated last week
- A LNCS template for typst☆15Jan 26, 2026Updated 3 weeks ago
- Logic circuit analysis and optimization☆45Feb 2, 2026Updated 2 weeks ago
- The CompCert formally-verified C compiler☆10Feb 9, 2026Updated last week