4 results found Sort:

johnyf
tool_lists johnyf
82
362
cc0-1.0
44
Links to tools by subject
tools smtlib synthesis verification formal-methods model-checking theorem-prover proof-assistant static-analysis theorem-proving satisfiability-solver binary-decision-diagrams satisfiability-modulo-theories
Created 2013-09-24
1 commits to main branch, last one 10 months ago
tulip-control
dd tulip-control
40
170
other
8
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
bdd zdd cudd cython python sylvan binary-decision-diagrams
Created 2014-10-17
1,354 commits to main branch, last one 3 months ago
microsoft
DecisionDiagrams microsoft
17
49
mit
5
A performant and ergonomic implementation of binary decision diagrams for .NET
bdds verification binary-decision-diagrams
Created 2020-04-25
110 commits to master branch, last one 10 months ago
OxiDD
oxidd OxiDD
5
27
apache-2.0
1
Concurrent decision diagram framework written in Rust
bdd zdd zbdd binary-decision-diagrams zero-suppressed-decision-diagrams
Created 2023-10-12
119 commits to main branch, last one 4 days ago