Concurrent decision diagram framework written in Rust
☆83May 15, 2026Updated last week
Alternatives and similar repositories for oxidd
Users that are interested in oxidd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Benchmarking Suite for BDD packages☆24Mar 21, 2026Updated 2 months ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆25Feb 14, 2026Updated 3 months ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33Updated this week
- Performant and safe knowledge compilation in rust☆31Apr 3, 2026Updated last month
- DFTCalc: A Dynamic Fault Tree calculator for reliability and availability☆16Nov 7, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A verilog parser☆19Apr 12, 2024Updated 2 years ago
- Java library based on the VLog rule engine☆35Jul 12, 2025Updated 10 months ago
- CUDD Decision Diagram Package☆158Dec 12, 2025Updated 5 months ago
- The Git repository for the mCRL2 toolset.☆111Updated this week
- An advanced header-only exact synthesis library☆31Nov 24, 2022Updated 3 years ago
- Formatter for SATySFi☆17Jun 7, 2025Updated 11 months ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 10 months ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Nov 17, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Dec 14, 2021Updated 4 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated last year
- Implementation of multi-core (binary) decision diagrams☆88Apr 5, 2026Updated last month
- Functional command-line JSON processor with a bidirectional type system☆26May 18, 2025Updated last year
- ☆14Apr 24, 2026Updated last month
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Apr 29, 2026Updated 3 weeks ago
- A Modern Probabilistic Model Checker☆166Updated this week
- C++ header-only reasoning library☆18Jul 11, 2024Updated last year
- A lazy-grounding Answer-Set Programming system☆64May 15, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- iFCN: Automated Design Platform for Molecular FCN Circuits☆15May 18, 2026Updated last week
- An implementation for Sugyama's algorithm for displaying a layered graph.☆27Sep 21, 2025Updated 8 months ago
- BDD based DQBF solver☆13Dec 8, 2022Updated 3 years ago
- ☆17May 4, 2026Updated 3 weeks ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated last year
- Monte Carlo Render Viewing and Visualization Tools☆11Apr 20, 2021Updated 5 years ago
- ☆13Mar 23, 2026Updated 2 months ago
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 9 years ago
- ☆12Feb 25, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A simple (unfinished) SMT solver for QF_ABV.☆36Mar 14, 2019Updated 7 years ago
- Slog 1.0☆47Jun 11, 2024Updated last year
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Apr 30, 2026Updated 3 weeks ago
- The LTSmin model checking toolset☆62Oct 31, 2024Updated last year
- A different approach to an E-graph library☆28May 30, 2025Updated 11 months ago
- The hardware implementation of UDP in Bluespec SystemVerilog☆14Jun 3, 2024Updated last year
- 🕸️ A visualizer for graphs defined as logic programs☆32Apr 29, 2026Updated 3 weeks ago