boogie-org
-
- 817,811 total downloads
- last updated a month ago
- Latest version: 3.5.1
An SMT-based program verifier. -
- 646,407 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 571,296 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 571,145 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 562,516 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 533,780 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 530,763 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 517,443 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 506,881 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 496,578 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 491,507 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 481,815 total downloads
- last updated a month ago
- Latest version: 3.5.1
Contains the API for Boogie -
- 400,438 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 395,481 total downloads
- last updated 9 months ago
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 209,192 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 91,236 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 88,621 total downloads
- last updated a month ago
- Latest version: 3.5.1
Package Description -
- 41,664 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.