boogie-org
-
- 596,376 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
An SMT-based program verifier. -
- 505,714 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 433,236 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 433,063 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 423,756 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 398,537 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 396,000 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 383,263 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 373,399 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 364,561 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 359,655 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 351,608 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Contains the API for Boogie -
- 272,349 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description -
- 201,156 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 87,309 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 39,852 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem. -
- 232 total downloads
- last updated 4/23/2024
- Latest version: 3.1.5
Package Description