README
Collection of links to:
- formal methods tools here.
- binary decision diagram (BDD) software libraries here.
- packages for convex optimization in Python here.
To the extent possible under law, the authors have waived all copyright and related or neighboring rights to this text. For copying conditions, consult COPYING.txt, which is the CC0 Public Domain Dedication.
binary-decision-diagrams
formal-methods
model-checking
proof-assistant
satisfiability-modulo-theories
satisfiability-solver
smtlib
static-analysis
synthesis
theorem-prover
theorem-proving
tools
verification
Contributors
johnyf
1 commits
README
Collection of links to:
- formal methods tools here.
- binary decision diagram (BDD) software libraries here.
- packages for convex optimization in Python here.
To the extent possible under law, the authors have waived all copyright and related or neighboring rights to this text. For copying conditions, consult COPYING.txt, which is the CC0 Public Domain Dedication.
binary-decision-diagrams
formal-methods
model-checking
proof-assistant
satisfiability-modulo-theories
satisfiability-solver
smtlib
static-analysis
synthesis
theorem-prover
theorem-proving
tools
verification
Similar repos
Contributors
johnyf
1 commits