Search Criteria
Package Details: boogie-hg r4017.02815f46a6f1-1
Package Actions
| Package Base: | boogie-hg |
|---|---|
| Description: | Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver |
| Upstream URL: | http://boogie.codeplex.com |
| Category: | devel |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | fhahn |
| Maintainer: | fhahn |
| Last Packager: | fhahn |
| Votes: | 1 |
| First Submitted: | 2014-10-26 22:40 |
| Last Updated: | 2014-10-26 22:40 |