haskell-what4 1.5.1-3 source package in Ubuntu
Changelog
haskell-what4 (1.5.1-3) unstable; urgency=medium * Disable tests (Closes: #1054704) -- Ilias Tsitsimpis <email address hidden> Sat, 04 Nov 2023 13:41:56 +0200
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Oracular | release | universe | misc | |
Noble | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-what4_1.5.1-3.dsc | 5.9 KiB | 55423fad7395b19117e9e19f6818c5ef9fea41569f4892e97a375a484d4a05c9 |
haskell-what4_1.5.1.orig.tar.gz | 411.4 KiB | 35775a0f26ae31148b298307bce4f1b0796a22a1f307361dd8347ddaaf3f3108 |
haskell-what4_1.5.1-3.debian.tar.xz | 3.4 KiB | 572a7cd4e45c2ffc04ba7b0fc226656cf12cb2122f53fa9be4cd5fbf2661d845 |
Available diffs
- diff from 1.3-4build1 (in Ubuntu) to 1.5.1-3 (67.1 KiB)
No changes file available.
Binary packages built by this source
- haskell-what4-utils: Solver-agnostic symbolic values support for issuing queries
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.
- libghc-what4-dev: Solver-agnostic symbolic values support for issuing queries
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 a library for the Haskell programming language.
See http://www.haskell. org/ for more information on Haskell.
- libghc-what4-doc: 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-prof: Solver-agnostic symbolic values support for issuing queries; profiling libraries
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 a library for the Haskell programming language, compiled
for profiling. See http://www.haskell. org/ for more information on Haskell.