boogie-org
-
- 1,061,306 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
An SMT-based program verifier. -
- 895,801 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 816,140 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 816,500 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 806,943 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 774,165 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 770,386 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 757,139 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 745,013 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 732,082 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 726,041 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 714,666 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Contains the API for Boogie -
- 615,765 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 497,399 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 241,301 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 235,880 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 109,211 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 57,245 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.