Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/johnyf/tool_lists
Links to tools by subject
https://github.com/johnyf/tool_lists
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: about 2 months ago
JSON representation
Links to tools by subject
- Host: GitHub
- URL: https://github.com/johnyf/tool_lists
- Owner: johnyf
- License: cc0-1.0
- Created: 2013-09-24T02:29:59.000Z (over 11 years ago)
- Default Branch: main
- Last Pushed: 2024-03-19T10:42:35.000Z (10 months ago)
- Last Synced: 2024-10-15T01:25:26.922Z (3 months ago)
- Topics: binary-decision-diagrams, formal-methods, model-checking, proof-assistant, satisfiability-modulo-theories, satisfiability-solver, smtlib, static-analysis, synthesis, theorem-prover, theorem-proving, tools, verification
- Homepage:
- Size: 63.5 KB
- Stars: 366
- Watchers: 44
- Forks: 81
- Open Issues: 4
-
Metadata Files:
- Readme: readme.md
- License: COPYING.txt
Awesome Lists containing this project
- fucking-lists - tool_lists
- awesomelist - tool_lists
- collection - tool_lists
- lists - tool_lists
README
Collection of links to:
- 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).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](http://creativecommons.org/publicdomain/zero/1.0/).