libghc-what4-doc 1.5.1-3 (i386 binary) in ubuntu oracular
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.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://
Details
- Package version:
- 1.5.1-3
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of haskell-what4 1.5.1-3 in ubuntu noble PROPOSED produced
these files:
- libghc-what4-doc_1.5.1-3_all.deb (1.4 MiB)
Package relationships
- Depends on:
- haddock-interface-41
- Suggests:
- Recommends:
- ghc-doc
- libghc-async-doc
- libghc-attoparsec-doc
- libghc-bifunctors-doc
- libghc-bimap-doc
- libghc-boundedchan-doc
- libghc-bv-sized-doc
- libghc-concurrent-extra-doc
- libghc-config-value-doc
- libghc-deriving-compat-doc
- libghc-fingertree-doc
- libghc-hashable-doc
- libghc-hashtables-doc
- libghc-io-streams-doc
- libghc-lens-doc
- libghc-libbf-doc
- libghc-megaparsec-doc
- libghc-ordered-containers-doc
- libghc-panic-doc
- libghc-parameterized-utils-doc
- libghc-prettyprinter-doc
- libghc-s-cargot-doc
- libghc-scientific-doc
- libghc-th-lift-doc
- libghc-th-lift-instances-doc
- libghc-unliftio-doc
- libghc-unordered-containers-doc
- libghc-utf8-string-doc
- libghc-vector-doc
- libghc-versions-doc
- libghc-what4-dev
- libghc-zenc-doc
- libjs-mathjax