libboogie-cil 2.4.1+dfsg-ok1 (amd64 binary) in openkylin yangtze
Boogie is a compiler intermediate language with support for automatic invariant
checking using an SMT solver such as Z3. It supports program verification for
a variety of other, higher-level languages, including Spec\#, C, Dafny, and
Chalice.
.
This package contains the Boogie library.
Details
- Package version:
- 2.4.1+dfsg-ok1
- Status:
- Deleted
- Component:
- main
- Priority:
- Optional
Downloadable files
amd64 build of boogie 2.4.1+dfsg-ok1 in openkylin yangtze PROPOSED produced
these files:
- libboogie-cil_2.4.1+dfsg-ok1_all.deb (637.9 KiB)
Package relationships
- Depends on:
- libmono-corlib4.5-cil (>= 5.18.0.240)
- libmono-system-core4.0-cil (>= 5.18.0.240)
- libmono-system-drawing4.0-cil (>= 5.12.0.309)
- libmono-system-numerics4.0-cil (>= 5.16.0.220)
- libmono-system-runtime-caching4.0-cil (>= 5.12.0.309)
- libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- libmono-system-xml4.0-cil (>= 4.6.1.3)
- libmono-system4.0-cil (>= 5.18.0.240)
