boogie-org
-
- 792,685 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
An SMT-based program verifier. -
- 634,254 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 559,221 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 559,033 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 550,393 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 521,587 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 518,581 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 505,256 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 494,716 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 484,377 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 479,315 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 469,700 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Contains the API for Boogie -
- 389,289 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 386,526 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 208,024 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 90,219 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 78,107 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 41,110 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.