boogie-org
-
- 992,823 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
An SMT-based program verifier. -
- 830,585 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 751,359 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 751,144 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 741,792 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 709,654 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 705,783 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 692,114 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 679,935 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 667,448 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 661,816 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 649,152 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Contains the API for Boogie -
- 556,753 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 453,856 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 231,410 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 191,255 total downloads
- last updated 12/10/2025
- Latest version: 3.5.6
Package Description -
- 103,843 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 48,337 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.