всички настройки
stretch  ] [  buster  ] [  sid  ]
[ Източник: haskell-presburger  ]

Пакет: libghc-presburger-dev (1.3.1-6 и други)

Връзки за libghc-presburger-dev

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник haskell-presburger.

Отговорници:

Външни препратки:

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

decision procedure for quantifier-free linear arithmetic

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Други пакети, свързани с libghc-presburger-dev

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libghc-presburger-dev

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
amd64 1.3.1-6+b2 163,3 кБ1 406,0 кБ [списък на файловете]
arm64 1.3.1-6+b2 214,6 кБ2 165,0 кБ [списък на файловете]
armel 1.3.1-6+b2 222,5 кБ1 622,0 кБ [списък на файловете]
armhf 1.3.1-6+b2 224,4 кБ1 622,0 кБ [списък на файловете]
i386 1.3.1-6+b2 165,2 кБ1 098,0 кБ [списък на файловете]
mips 1.3.1-6+b2 191,9 кБ1 973,0 кБ [списък на файловете]
mips64el 1.3.1-6+b2 216,8 кБ2 662,0 кБ [списък на файловете]
mipsel 1.3.1-6+b2 203,7 кБ1 973,0 кБ [списък на файловете]
ppc64el 1.3.1-6+b2 226,2 кБ2 622,0 кБ [списък на файловете]
s390x 1.3.1-6+b2 231,7 кБ2 416,0 кБ [списък на файловете]