boogie-org
-
- 1,033,430 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
An SMT-based program verifier. -
- 871,274 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 791,955 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 791,555 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 782,508 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 749,972 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 745,967 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 732,400 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 720,254 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 707,525 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 702,059 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 690,104 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Contains the API for Boogie -
- 593,540 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 477,722 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 237,166 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 219,567 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 107,190 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 53,945 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.