Package: libghc-what4-dev (1.5.1-4 and others)
Links for libghc-what4-dev
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.
Denne pakke tilbyder et bibliotek til programmeringssproget Haskell. Se http://www.haskell.org/ for yderligere information om Haskell.
Other Packages Related to libghc-what4-dev
|
|
|
|
-
- dep: libc6 (>= 2.27)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libghc-async-dev-2.2.5-25d04
- virtual package provided by libghc-async-dev
-
- dep: libghc-attoparsec-dev-0.14.4-b5f8c
- virtual package provided by libghc-attoparsec-dev
-
- dep: libghc-base-dev-4.18.2.1-b5217
- virtual package provided by ghc
-
- dep: libghc-bifunctors-dev-5.6.2-fd79b
- virtual package provided by libghc-bifunctors-dev
-
- dep: libghc-bimap-dev-0.5.0-6d81a
- virtual package provided by libghc-bimap-dev
-
- dep: libghc-boundedchan-dev-1.0.3.0-23518
- virtual package provided by libghc-boundedchan-dev
-
- dep: libghc-bv-sized-dev-1.0.5-61d12
- virtual package provided by libghc-bv-sized-dev
-
- dep: libghc-bytestring-dev-0.11.5.3-a2862
- virtual package provided by ghc
-
- dep: libghc-concurrent-extra-dev-0.7.0.12-818b8
- virtual package provided by libghc-concurrent-extra-dev
-
- dep: libghc-config-value-dev-0.8.3-8ba05
- virtual package provided by libghc-config-value-dev
-
- dep: libghc-containers-dev-0.6.7-69002
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-f9583
- virtual package provided by ghc
-
- dep: libghc-deriving-compat-dev-0.6.6-03f5a
- virtual package provided by libghc-deriving-compat-dev
-
- dep: libghc-directory-dev-1.3.8.5-dd052
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.7-fdf92
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-4ef81
- virtual package provided by ghc
-
- dep: libghc-fingertree-dev-0.1.5.0-c5233
- virtual package provided by libghc-fingertree-dev
-
- dep: libghc-ghc-prim-dev-0.10.0-e2193
- virtual package provided by ghc
-
- dep: libghc-hashable-dev-1.4.4.0-c0454
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashtables-dev-1.3.1-c627d
- virtual package provided by libghc-hashtables-dev
-
- dep: libghc-io-streams-dev-1.5.2.2-353dd
- virtual package provided by libghc-io-streams-dev
-
- dep: libghc-lens-dev-5.2.3-e9c5d
- virtual package provided by libghc-lens-dev
-
- dep: libghc-libbf-dev-0.6.8-e9a5a
- virtual package provided by libghc-libbf-dev
-
- dep: libghc-megaparsec-dev-9.5.0-89e6e
- virtual package provided by libghc-megaparsec-dev
-
- dep: libghc-mtl-dev-2.3.1-f8119
- virtual package provided by ghc
-
- dep: libghc-ordered-containers-dev-0.2.4-2b10d
- virtual package provided by libghc-ordered-containers-dev
-
- dep: libghc-panic-dev-0.4.0.1-bc993
- virtual package provided by libghc-panic-dev
-
- dep: libghc-parameterized-utils-dev-2.1.9.0-5e5c9
- virtual package provided by libghc-parameterized-utils-dev
-
- dep: libghc-parsec-dev-3.1.16.1-cd81c
- virtual package provided by ghc
-
- dep: libghc-prettyprinter-dev-1.7.1-c7912
- virtual package provided by libghc-prettyprinter-dev
-
- dep: libghc-process-dev-1.6.19.0-220a3
- virtual package provided by ghc
-
- dep: libghc-s-cargot-dev-0.1.6.0-ba36c
- virtual package provided by libghc-s-cargot-dev
-
- dep: libghc-scientific-dev-0.3.7.0-cad4e
- virtual package provided by libghc-scientific-dev
-
- dep: libghc-stm-dev-2.5.1.0-99e80
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.20.0.0-f4bb3
- virtual package provided by ghc
-
- dep: libghc-temporary-dev-1.3-2246d
- virtual package provided by libghc-temporary-dev
-
- dep: libghc-text-dev-2.0.2-974c0
- virtual package provided by ghc
-
- dep: libghc-th-lift-dev-0.8.4-5b668
- virtual package provided by libghc-th-lift-dev
-
- dep: libghc-th-lift-instances-dev-0.1.20-3dd31
- virtual package provided by libghc-th-lift-instances-dev
-
- dep: libghc-time-dev-1.12.2-2cc4e
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.0-5335d
- virtual package provided by ghc
-
- dep: libghc-unliftio-dev-0.2.25.0-bb416
- virtual package provided by libghc-unliftio-dev
-
- dep: libghc-unordered-containers-dev-0.2.20-af5f1
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-utf8-string-dev-1.0.2-df068
- virtual package provided by libghc-utf8-string-dev
-
- dep: libghc-vector-dev-0.13.1.0-a34b3
- virtual package provided by libghc-vector-dev
-
- dep: libghc-versions-dev-6.0.7-c52a2
- virtual package provided by libghc-versions-dev
-
- dep: libghc-zenc-dev-0.1.2-c150a
- virtual package provided by libghc-zenc-dev
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Bibliotek til multipræcision i aritmetik
-
- dep: zlib1g (>= 1:1.1.4)
- Komprimeringsbibliotek - kørselstid
Download libghc-what4-dev
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
riscv64 | 1.5.1-4+b2 | 7,915.9 kB | 88,288.0 kB | [list of files] |