boogie-org
-
- 1,025,684 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
An SMT-based program verifier. -
- 863,466 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 784,161 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 783,806 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 774,622 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 742,517 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 738,524 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 724,962 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 712,801 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 700,188 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 694,602 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 682,742 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Contains the API for Boogie -
- 586,856 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 472,064 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 235,986 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 214,603 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 106,493 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 53,100 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.