boogie-org
-
- 1,067,874 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
An SMT-based program verifier. -
- 902,976 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 823,831 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 823,099 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 814,236 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 781,203 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 777,511 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 764,231 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 752,072 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 739,224 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 733,167 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 721,872 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Contains the API for Boogie -
- 622,490 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 501,682 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 242,638 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 241,017 total downloads
- last updated 10/3/2026
- Latest version: 3.5.8
Package Description -
- 109,587 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 57,571 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.