Package: haskell-what4-utils (1.5.1-3 and others)
Links for haskell-what4-utils
Debian Resources:
Download Source Package haskell-what4:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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: 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.3.0+dfsg)
- Bibliotek til multipræcision i aritmetik
-
- dep: zlib1g (>= 1:1.1.4)
- Komprimeringsbibliotek - kørselstid
Download haskell-what4-utils
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 1.5.1-3+b1 | 4,126.6 kB | 28,042.0 kB | [list of files] |