libghc-what4-doc 1.3-4build1 (armhf binary) in ubuntu lunar
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, 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.3-4build1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of haskell-what4 1.3-4build1 in ubuntu lunar PROPOSED produced
these files:
- libghc-what4-doc_1.3-4build1_all.deb (1.2 MiB)
Package relationships
- Depends on:
- haddock-interface-38
- Suggests:
- Recommends:
- ghc-doc
- libghc-attoparsec-doc
- libghc-bv-sized-doc
- libghc-hashable-doc
- libghc-hashtables-doc
- libghc-io-streams-doc
- libghc-lens-doc
- libghc-libbf-doc
- libghc-panic-doc
- libghc-parameterized-utils-doc
- libghc-prettyprinter-doc
- libghc-scientific-doc
- libghc-vector-doc
- libghc-versions-doc
- libghc-what4-dev
- libjs-mathjax