Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with binary-decision-diagrams
A curated list of projects in awesome lists tagged with binary-decision-diagrams .
https://github.com/johnyf/tool_lists
Links to tools by subject
binary-decision-diagrams formal-methods model-checking proof-assistant satisfiability-modulo-theories satisfiability-solver smtlib static-analysis synthesis theorem-prover theorem-proving tools verification
Last synced: 31 Jul 2024
https://github.com/pubkey/binary-decision-diagram
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
bdd binary-decision-diagram binary-decision-diagrams binary-decision-tree mtbdd robdd truth-table
Last synced: 03 Sep 2024
https://github.com/timbeurskens/rsbdd
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
binary-decision-diagrams boolean-satisfiability np-complete sat-solver
Last synced: 03 Aug 2024