1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
boogie-git 0.r5030.8448ac1c-1 2 0.00 Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver joojoo

1 package found. Page 1 of 1.