boogie-org
-
- 652,153 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
An SMT-based program verifier. -
- 522,810 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 450,258 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 450,079 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 440,826 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 415,528 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 412,994 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 400,314 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 390,411 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 381,514 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 376,632 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 368,461 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Contains the API for Boogie -
- 289,064 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description -
- 201,516 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 87,599 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 39,958 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem. -
- 9,369 total downloads
- last updated 7/4/2024
- Latest version: 3.2.0
Package Description