Пакет: boolector (1.5.118.6b56be4.121013-1.3)

Ссылки для boolector

• Отслеживание заплат eLxr

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

• [boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz]
• [boolector_1.5.118.6b56be4.121013-1.3.dsc]
• [boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz]
• [boolector_1.5.118.6b56be4.121013.orig.tar.gz]

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

• Michael Tautschnig

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

• Сайт [fmv.jku.at]

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

• libcvc4parser7
• cvc4
• libcvc4-dev
• libsymfpu-dev
• haskell-what4-utils
• libcvc5-1
• python3-cvc5
• libcvc5parser1
• cvc5
• libcvc5-dev
• libghc-what4-dev

Другие пакеты, относящиеся к boolector

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  также виртуальный пакет, предоставляемый libc6-udeb

Загрузка boolector