boogie-org
-
- 997,599 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
An SMT-based program verifier. -
- 837,226 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 757,989 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 757,760 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 748,420 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 716,268 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 712,377 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 698,724 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 686,562 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 673,986 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 668,339 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 655,707 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Contains the API for Boogie -
- 562,993 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 456,727 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 231,919 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 196,928 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 104,213 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 48,448 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.