libboogie-cil 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 (armhf binary) in ubuntu bionic
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.3.0.61016+dfsg+3.gbp1f2d6c1-1
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in ubuntu zesty PROPOSED produced
these files:
Package relationships
- Depends on:
- libmono-corlib4.5-cil (>= 4.2.0)
- libmono-system-core4.0-cil (>= 4.2.0)
- libmono-system-drawing4.0-cil (>= 3.0.6)
- libmono-system-numerics4.0-cil (>= 1.0)
- libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1)
- libmono-system-windows-forms4.0-cil (>= 1.0)
- libmono-system-xml4.0-cil (>= 4.2.0)
- libmono-system4.0-cil (>= 4.2.0)