haskell-what4 1.6-60
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra-Testing |
| Description: | Solver-agnostic symbolic values support for issuing queries |
| Upstream URL: | https://github.com/GaloisInc/what4 |
| License(s): | BSD-3-Clause |
| Maintainers: |
Felix Yan |
| Package Size: | 2.8 MB |
| Installed Size: | 18.5 MB |
| Last Packager: | Felix Yan |
| Build Date: | 2025-10-16 00:06 UTC |
| Signed By: | Felix Yan |
| Signature Date: | 2025-10-16 00:09 UTC |
| Last Updated: | 2025-10-16 18:05 UTC |
Dependencies (51)
- ghc-libs (testing)
- haskell-async (testing)
- haskell-attoparsec (testing)
- haskell-bifunctors (testing)
- haskell-bimap (testing)
- haskell-boundedchan (testing)
- haskell-bv-sized (testing)
- haskell-concurrent-extra (testing)
- haskell-config-value (testing)
- haskell-deriving-compat (testing)
- haskell-fingertree (testing)
- haskell-hashable (testing)
- haskell-hashtables (testing)
- haskell-io-streams (testing)
- haskell-lens (testing)
- haskell-libbf (testing)
- haskell-megaparsec (testing)
- haskell-ordered-containers (testing)
- haskell-panic (testing)
- haskell-parameterized-utils (testing)
- haskell-prettyprinter (testing)
- haskell-s-cargot (testing)
- haskell-scientific (testing)
- haskell-temporary (testing)
- haskell-th-lift (testing)
- haskell-th-lift-instances (testing)
- haskell-unliftio (testing)
- haskell-unordered-containers (testing)
- haskell-utf8-string (testing)
- haskell-vector (testing)
- haskell-versions (testing)
- haskell-zenc (testing)
- cvc4 (optional)
- yices (optional)
- z3 (optional)
- ghc (testing) (make)
- haskell-contravariant (testing) (make)
- haskell-hedgehog (testing) (make)
- haskell-lumberjack (testing) (make)
- haskell-quickcheck (testing) (make)
- haskell-tasty (testing) (make)
- haskell-tasty-checklist (testing) (make)
- haskell-tasty-expected-failure (testing) (make)
- haskell-tasty-hedgehog (testing) (make)
- haskell-tasty-hunit (testing) (make)
- haskell-tasty-quickcheck (testing) (make)
- haskell-tasty-sugar (testing) (make)
- uusi (testing) (make)
- cvc4 (check)
- yices (check)
- z3 (check)
Required By (1)
- cryptol (testing)