Paket: haskell-what4-utils (1.5.1-3 und andere)

[ Quellcode: haskell-what4  ]

Solver-agnostic symbolic values support for issuing queries

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.

Andere Pakete mit Bezug zu haskell-what4-utils

• dep: libatomic1 (>= 4.8) [armel]

  Hilfsbibliothek, die atomare (__atomic) Built-in-Funktionen zur Verfügung stellt

• dep: libc6 (>= 2.34)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libffi8 (>= 3.4)

  Fremdes Funktionsinterface, Laufzeitbibliothek

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Mehrfachgenaue, arithmetische Bibliothek

• dep: zlib1g (>= 1:1.1.4)

  Kompressions-Bibliothek - Laufzeit

haskell-what4-utils herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	1.5.1-3+b1	4.126,6 kB	28.042,0 kB	[Liste der Dateien]
arm64	1.5.1-3+b1	4.138,4 kB	32.048,0 kB	[Liste der Dateien]
armel	1.5.1-3+b2	5.423,5 kB	33.572,0 kB	[Liste der Dateien]
armhf	1.5.1-3+b2	5.489,6 kB	33.544,0 kB	[Liste der Dateien]
i386	1.5.1-3+b1	6.155,6 kB	45.888,0 kB	[Liste der Dateien]
mips64el	1.5.1-3+b1	6.526,6 kB	67.703,0 kB	[Liste der Dateien]
ppc64el	1.5.1-3+b1	4.593,3 kB	46.800,0 kB	[Liste der Dateien]
s390x	1.5.1-3+b1	7.252,5 kB	55.357,0 kB	[Liste der Dateien]