boogie-org
-
- 1,051,830 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
An SMT-based program verifier. -
- 887,449 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 807,846 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 807,529 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 798,673 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 765,879 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 762,189 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 748,685 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 736,525 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 723,835 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 717,886 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 706,558 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Contains the API for Boogie -
- 608,050 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 489,839 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 240,281 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 229,894 total downloads
- last updated 7/26/2026
- Latest version: 3.5.7
Package Description -
- 108,600 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 56,970 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.