Package: haskell-what4-utils (1.5.1-3 and others)

[ Source: haskell-what4  ]

Understøttelse af symbolske værdier uafhængig af løser for udstedelse af forespørgsler

What4 er et generisk bibliotek til at repræsentere værdier som en symbolsk formel, der kan indeholde referencer til symbolske værdier, repræsenterende ukendte variabler. Tilbyder understøttelse for kommunikation med en række SAT- og SMT-løsere, inklusive Z3, CVC4, CVC5, Yices, Boolector, STP og dReal. Datarepræsentationstyperne gør stærk brug af typeindicer i GADT-stil for at sikre typekorrekt manipulation af symbolske værdier.

Other Packages Related to haskell-what4-utils

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

  Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner

• dep: libc6 (>= 2.34)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libffi8 (>= 3.4)

  Brugerflade for fremmed funktion - bibliotekskørselstid

• dep: libgmp10 (>= 2:6.2.1+dfsg1) [m68k]

  Bibliotek til multipræcision i aritmetik

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not m68k]

• dep: zlib1g (>= 1:1.1.4)

  Komprimeringsbibliotek - kørselstid

Download haskell-what4-utils

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	1.5.1-3+b1	4,126.6 kB	28,042.0 kB	[list of files]
arm64	1.5.1-3+b1	4,138.4 kB	32,048.0 kB	[list of files]
armel	1.5.1-3+b2	5,423.5 kB	33,572.0 kB	[list of files]
armhf	1.5.1-3+b2	5,489.6 kB	33,544.0 kB	[list of files]
i386	1.5.1-3+b1	6,155.6 kB	45,888.0 kB	[list of files]
m68k (unofficial port)	1.3-4	3,581.8 kB	34,936.0 kB	[list of files]
mips64el	1.5.1-3+b1	6,526.6 kB	67,703.0 kB	[list of files]
ppc64 (unofficial port)	1.5.1-3+b1	4,454.7 kB	55,832.0 kB	[list of files]
ppc64el	1.5.1-3+b1	4,593.3 kB	46,800.0 kB	[list of files]
riscv64	1.5.1-3+b1	5,099.9 kB	33,867.0 kB	[list of files]
s390x	1.5.1-3+b1	7,252.5 kB	55,357.0 kB	[list of files]