boogie-org
-
- 1,056,809 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
An SMT-based program verifier. -
- 891,256 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 812,063 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 811,515 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 802,566 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 769,670 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 766,002 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 752,653 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 740,475 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 727,672 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 721,643 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 710,402 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Contains the API for Boogie -
- 611,606 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 493,421 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 240,946 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 232,629 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 108,935 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 57,058 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.