1 package found. Page 1 of 1.

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

1 package found. Page 1 of 1.