Пакет: libboogie-cil (2.4.1+dfsg-0.1)

Ссылки для libboogie-cil

Ресурсы Debian:

Исходный код boogie:

Сопровождающий:

Benjamin Barenblat (Страница КК)

Внешние ресурсы:

Сайт [research.microsoft.com]

Подобные пакеты:

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

зависимости

рекомендации

предложения

enhances

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

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

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

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

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

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

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

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

Mono System libraries (for CLI 4.0)

Загрузка libboogie-cil

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
all	573,2 Кб	1 918,0 Кб	[список файлов]