Package: libghc-what4-dev (1.5.1-4 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.

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.29)

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

• dep: libghc-async-dev-2.2.5-51753

  virtual package provided by libghc-async-dev

• dep: libghc-attoparsec-dev-0.14.4-69f92

  virtual package provided by libghc-attoparsec-dev

• dep: libghc-base-dev-4.18.2.1-8e81e

  virtual package provided by ghc

• dep: libghc-bifunctors-dev-5.6.2-dc268

  virtual package provided by libghc-bifunctors-dev

• dep: libghc-bimap-dev-0.5.0-5df24

  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-ff96d

  virtual package provided by libghc-bv-sized-dev

• dep: libghc-bytestring-dev-0.11.5.3-7048d

  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-ec1a3

  virtual package provided by libghc-config-value-dev

• dep: libghc-containers-dev-0.6.7-7a228

  virtual package provided by ghc

• dep: libghc-deepseq-dev-1.4.8.1-9013f

  virtual package provided by ghc

• dep: libghc-deriving-compat-dev-0.6.6-0a875

  virtual package provided by libghc-deriving-compat-dev

• dep: libghc-directory-dev-1.3.8.5-98ebe

  virtual package provided by ghc

• dep: libghc-exceptions-dev-0.10.7-0356d

  virtual package provided by ghc

• dep: libghc-filepath-dev-1.4.300.1-f6cd4

  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-fb202

  virtual package provided by libghc-hashable-dev

• dep: libghc-hashtables-dev-1.3.1-c6196

  virtual package provided by libghc-hashtables-dev

• dep: libghc-io-streams-dev-1.5.2.2-14dd0

  virtual package provided by libghc-io-streams-dev

• dep: libghc-lens-dev-5.2.3-76305

  virtual package provided by libghc-lens-dev

• dep: libghc-libbf-dev-0.6.8-eccde

  virtual package provided by libghc-libbf-dev

• dep: libghc-megaparsec-dev-9.5.0-f29b1

  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-9fb86

  virtual package provided by libghc-ordered-containers-dev

• dep: libghc-panic-dev-0.4.0.1-c7f51

  virtual package provided by libghc-panic-dev

• dep: libghc-parameterized-utils-dev-2.1.9.0-f38a3

  virtual package provided by libghc-parameterized-utils-dev

• dep: libghc-parsec-dev-3.1.16.1-a6416

  virtual package provided by ghc

• dep: libghc-prettyprinter-dev-1.7.1-263c6

  virtual package provided by libghc-prettyprinter-dev

• dep: libghc-process-dev-1.6.19.0-48ee2

  virtual package provided by ghc

• dep: libghc-s-cargot-dev-0.1.6.0-634c1

  virtual package provided by libghc-s-cargot-dev

• dep: libghc-scientific-dev-0.3.7.0-4d9a8

  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-54f98

  virtual package provided by ghc

• dep: libghc-temporary-dev-1.3-78eba

  virtual package provided by libghc-temporary-dev

• dep: libghc-text-dev-2.0.2-5b954

  virtual package provided by ghc

• dep: libghc-th-lift-dev-0.8.4-95248

  virtual package provided by libghc-th-lift-dev

• dep: libghc-th-lift-instances-dev-0.1.20-dec8b

  virtual package provided by libghc-th-lift-instances-dev

• dep: libghc-time-dev-1.12.2-eb20f

  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-04764

  virtual package provided by libghc-unliftio-dev

• dep: libghc-unordered-containers-dev-0.2.20-a0e00

  virtual package provided by libghc-unordered-containers-dev

• dep: libghc-utf8-string-dev-1.0.2-2ec81

  virtual package provided by libghc-utf8-string-dev

• dep: libghc-vector-dev-0.13.1.0-ca5d5

  virtual package provided by libghc-vector-dev

• dep: libghc-versions-dev-6.0.7-ec423

  virtual package provided by libghc-versions-dev

• dep: libghc-zenc-dev-0.1.2-e6c57

  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

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	1.5.1-4+b2	4,178.7 kB	41,766.0 kB	[list of files]