все параметры
bookworm  ] [  trixie  ] [  sid  ]
[ Источник: haskell-what4  ]

Пакет: libghc-what4-prof (1.5.1-3 и другие)

Ссылки для libghc-what4-prof

Screenshot

Ресурсы Debian:

Исходный код haskell-what4:

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

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

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

Solver-agnostic symbolic values support for issuing queries; profiling libraries

What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.

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

Другие пакеты, относящиеся к libghc-what4-prof

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-what4-prof

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 1.5.1-3+b1 3 741,8 Кб40 891,0 Кб [список файлов]
arm64 1.5.1-3+b1 4 391,7 Кб52 367,0 Кб [список файлов]
armel 1.5.1-3+b2 4 656,4 Кб45 596,0 Кб [список файлов]
armhf 1.5.1-3+b2 4 609,5 Кб44 839,0 Кб [список файлов]
i386 1.5.1-3+b1 5 898,8 Кб47 475,0 Кб [список файлов]
mips64el 1.5.1-3+b1 5 276,4 Кб67 862,0 Кб [список файлов]
ppc64el 1.5.1-3+b1 4 957,5 Кб66 740,0 Кб [список файлов]
s390x 1.5.1-3+b1 5 427,9 Кб73 451,0 Кб [список файлов]