boogie-org
-
- 1,023,792 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
An SMT-based program verifier. -
- 862,264 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 782,960 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 782,605 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 773,413 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 741,311 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 737,324 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 723,770 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 711,599 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 698,998 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 693,403 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 681,532 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Contains the API for Boogie -
- 585,830 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 471,043 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 235,714 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 213,877 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 106,318 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 52,580 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.