Tool lists
Links to tools by subject
- formal methods tools [here](verification_synthesis.md). - binary decision diagram (BDD) software libraries [here](bdd.md). - packages for convex optimization in Python [here](optimization.md). The project is distributed under the Creative Commons Zero v1.0 Universal license, first published in 2013. Key topics include: binary-decision-diagrams, formal-methods, model-checking, proof-assistant, satisfiability-modulo-theories.
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.
Contributors
Showing top 1 contributor by commit count.
Related Repositories
This article is auto-generated from johnyf/tool_lists via the GitHub API.Last fetched: 6/26/2026