boogie-org
-
- 788,075 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
An SMT-based program verifier. -
- 632,116 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 557,105 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 556,900 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 548,267 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 519,450 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 516,445 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 503,135 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 492,583 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 482,257 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 477,208 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 467,582 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Contains the API for Boogie -
- 387,173 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 384,874 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 208,020 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 90,215 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 76,036 total downloads
- last updated 11/26/2024
- Latest version: 3.4.3
Package Description -
- 41,104 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.