ssoelvsten / adiarView external linksLinks
An I/O-efficient implementation of (Binary) Decision Diagrams
☆31Feb 5, 2026Updated last week
Alternatives and similar repositories for adiar
Users that are interested in adiar are comparing it to the libraries listed below
Sorting:
- Benchmarking Suite for BDD packages☆22Jan 30, 2026Updated 2 weeks ago
- ☆15Jul 24, 2024Updated last year
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆215Dec 11, 2025Updated 2 months ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- Implementation of multi-core (binary) decision diagrams☆83Aug 28, 2025Updated 5 months ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆15Sep 10, 2025Updated 5 months ago
- ☆13Aug 1, 2024Updated last year
- Netrace: a network packet trace reader☆14Jun 16, 2014Updated 11 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Feb 6, 2026Updated last week
- A generic goal preprocessing tool for proof automation tactics in Coq☆15Updated this week
- Formal Semantics for Why3☆19Sep 28, 2025Updated 4 months ago
- Concurrent decision diagram framework written in Rust☆77Dec 3, 2025Updated 2 months ago
- Successor to PolyBoRi☆22Oct 1, 2025Updated 4 months ago
- Online BDD Simulation Tool☆25Jul 29, 2025Updated 6 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Nov 17, 2023Updated 2 years ago
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 2 months ago
- An OCaml library for manipulating Labeled Transition Systems☆24Jan 24, 2024Updated 2 years ago
- ☆24Nov 10, 2020Updated 5 years ago
- ☆30Mar 4, 2024Updated last year
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- ☆38Updated this week
- ☆35Jul 28, 2025Updated 6 months ago
- CAQE is a solver for quantified Boolean formulas☆37May 13, 2023Updated 2 years ago
- ☆11Mar 14, 2023Updated 2 years ago
- A 2d geometry library for ocaml☆36Dec 23, 2022Updated 3 years ago
- 方舟编译入门技术课程的配套代码☆30Sep 16, 2020Updated 5 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆41Apr 14, 2021Updated 4 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- KDD-CUP -2015☆11May 9, 2020Updated 5 years ago
- ThereminQ CLassiQ - QuantOPS : Orchestrate Qrack, Bonsai, Qimcifa and Tipsy in OpenCL, VCL and CUDA with an X WebUI☆13Jan 10, 2026Updated last month
- 🤖 An automated NTU Thesis LaTeX continuous integration and continuous deploying service built up with GitHub Actions.☆10May 8, 2020Updated 5 years ago
- A BDD-based Quantum Circuit Equivalence Checker☆13Jul 10, 2025Updated 7 months ago
- Coq集合论中文教程☆46Dec 17, 2021Updated 4 years ago
- A graph linear algebra overlay☆51Apr 26, 2023Updated 2 years ago
- This repo conatains all the types of tutorials be it videos, pdfs, code snippets etc of every popular technology☆11Aug 31, 2019Updated 6 years ago
- Jflap but in the Rust programming language and React framework for Javascript. Made by Misha Ryabko (https://www.github.com/Reisande) and…☆12Dec 11, 2022Updated 3 years ago
- The Ensemble distributed communications toolkit☆12Jul 26, 2020Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 5 months ago