软件包:libghc-what4-doc(1.5.1-4)
Solver-agnostic symbolic values support for issuing queries; documentation
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://www.haskell.org/ for more information on Haskell.
其他与 libghc-what4-doc 有关的软件包
|
|
|
|
-
- dep: haddock-interface-42
- 本虚包由这些包填实: ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-async-doc
- run IO operations asynchronously and wait for their results; documentation
-
- rec: libghc-attoparsec-doc
- Fast combinator parsing for bytestrings; documentation
-
- rec: libghc-bifunctors-doc
- Haskell 98 bifunctors; documentation
-
- rec: libghc-bimap-doc
- bidirectional mapping between two key types; documentation
-
- rec: libghc-boundedchan-doc
- bounded (maximum-limited) channels; documentation
-
- rec: libghc-bv-sized-doc
- bitvector datatype parameterized by the vector width; documentation
-
- rec: libghc-concurrent-extra-doc
- Extra concurrency primitives; documentation
-
- rec: libghc-config-value-doc
- simple, layout-based value language similar to YAML/JSON; documentation
-
- rec: libghc-deriving-compat-doc
- backports of GHC deriving extensions; documentation
-
- rec: libghc-fingertree-doc
- Generic finger-tree data structure implementation in Haskell; documentation
-
- rec: libghc-hashable-doc
- class for types that can be converted to a hash value; documentation
-
- rec: libghc-hashtables-doc
- mutable hash tables -- documentation; documentation
-
- rec: libghc-io-streams-doc
- simple, composable, and easy-to-use stream I/O; documentation
-
- rec: libghc-lens-doc
- Lenses, Folds and Traversals; documentation
-
- rec: libghc-libbf-doc
- Binding to the libBF library; documentation
-
- rec: libghc-megaparsec-doc
- monadic parser combinators; documentation
-
- rec: libghc-ordered-containers-doc
- Ordered Containers for Haskell; documentation
-
- rec: libghc-panic-doc
- convenient way to panic; documentation
-
- rec: libghc-parameterized-utils-doc
- Classes/data structures for data-kind indexed types; documentation
-
- rec: libghc-prettyprinter-doc
- modern, easy-to-use, extensible prettyprinter; documentation
-
- rec: libghc-s-cargot-doc
- flexible, extensible s-expression library; documentation
-
- rec: libghc-scientific-doc
- scientific notation for floating-point numbers; documentation
-
- rec: libghc-th-lift-doc
- derive Template Haskell's Lift class for datatypes.; documentation
-
- rec: libghc-th-lift-instances-doc
- Lift instances for template-haskell for common data types; documentation
-
- rec: libghc-unliftio-doc
- MonadUnliftIO typeclass for unlifting monads to IO; documentation
-
- rec: libghc-unordered-containers-doc
- Efficient hashing-based container types; documentation
-
- rec: libghc-utf8-string-doc
- GHC libraries for the Haskell UTF-8 library (documentation)
-
- rec: libghc-vector-doc
- Efficient Arrays for Haskell; documentation
-
- rec: libghc-versions-doc
- Types and parsers for software version numbers.; documentation
-
- rec: libghc-what4-dev
- Solver-agnostic symbolic values support for issuing queries
-
- rec: libghc-zenc-doc
- GHC style name Z-encoding and Z-decoding; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
-
- sug: libghc-what4-prof
- Solver-agnostic symbolic values support for issuing queries; profiling libraries