boogie-org
-
- 894,561 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
An SMT-based program verifier. -
- 675,629 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 600,567 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 600,293 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 591,648 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 563,281 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 560,183 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 546,909 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 536,315 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 525,984 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 520,864 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 511,272 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Contains the API for Boogie -
- 426,499 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 415,654 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
- 213,252 total downloads
- last updated 7/22/2022
- Latest version: 2.15.7
Package Description -
- 108,955 total downloads
- last updated 8/7/2025
- Latest version: 3.5.5
Package Description -
- 94,537 total downloads
- last updated 3/17/2022
- Latest version: 2.13.1
Package Description -
- 43,388 total downloads
- last updated 7/9/2021
- Latest version: 1.1.8
A solver for the reachability modulo theories problem.