boogie-org
-
- 810,545 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
An SMT-based program verifier. -
- 643,119 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 568,015 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 567,872 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 559,224 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 530,391 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 527,371 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 514,046 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 503,500 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 493,185 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 488,116 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 478,430 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Contains the API for Boogie -
- 397,311 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 393,181 total downloads
- last updated 9 months ago
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 208,908 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 90,979 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 85,725 total downloads
- last updated 11 days ago
- Latest version: 3.5.1
Package Description -
- 41,513 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.