Пакунок: libboogie-cil (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)

Links for libboogie-cil

Trisquel Resources:

Download Source Package boogie:

Maintainer:

Benjamin Barenblat

Original Maintainer:

Benjamin Barenblat

External Resources:

Homepage [research.microsoft.com]

Similar packages:

verifiable programming language (library)

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.

Інші пакунки пов'язані з libboogie-cil

depends

recommends

suggests

dep: libmono-corlib4.5-cil (>= 4.2.0)

Mono core library (for CLI 4.5)
dep: libmono-system-core4.0-cil (>= 4.2.0)

Mono System.Core library (for CLI 4.0)
dep: libmono-system-drawing4.0-cil (>= 3.0.6)

Mono System.Drawing library (for CLI 4.0)
dep: libmono-system-numerics4.0-cil (>= 1.0)

Mono System.Numerics library (for CLI 4.0)
dep: libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1)

Mono System.Runtime.Caching Library (for CLI 4.0)
dep: libmono-system-windows-forms4.0-cil (>= 1.0)

Mono System.Windows.Forms Library (for CLI 4.0)
dep: libmono-system-xml4.0-cil (>= 4.2.0)

Mono System.Xml library (for CLI 4.0)
dep: libmono-system4.0-cil (>= 4.2.0)

Mono System libraries (for CLI 4.0)

Завантажити libboogie-cil

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
all	545.8 kB	1706 kB	[список файлів]

Sections