boogie-org
-
- 1,073,018 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
An SMT-based program verifier. -
- 908,969 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 829,774 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 829,053 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 820,176 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 787,132 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 783,493 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 770,183 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 758,037 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 745,169 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 739,076 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 727,868 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Contains the API for Boogie -
- 628,088 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 508,676 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 245,346 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 243,785 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 109,920 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 57,757 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.