haskell-what4 1.5.1-30
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra-Staging |
| Description: | Solver-agnostic symbolic values support for issuing queries |
| Upstream URL: | https://github.com/GaloisInc/what4 |
| License(s): | BSD |
| Maintainers: |
Felix Yan |
| Package Size: | 2.6 MB |
| Installed Size: | 17.3 MB |
| Last Packager: | Felix Yan |
| Build Date: | 2024-11-20 03:38 UTC |
| Signed By: | Felix Yan |
| Signature Date: | 2024-11-20 03:41 UTC |
| Last Updated: | 2024-11-20 03:45 UTC |
Dependencies (51)
- ghc-libs
- haskell-async (staging)
- haskell-attoparsec (staging)
- haskell-bifunctors (staging)
- haskell-bimap (staging)
- haskell-boundedchan
- haskell-bv-sized (staging)
- haskell-concurrent-extra (staging)
- haskell-config-value
- haskell-deriving-compat (staging)
- haskell-fingertree (staging)
- haskell-hashable (staging)
- haskell-hashtables (staging)
- haskell-io-streams (staging)
- haskell-lens (staging)
- haskell-libbf (staging)
- haskell-megaparsec (staging)
- haskell-ordered-containers (staging)
- haskell-panic
- haskell-parameterized-utils (staging)
- haskell-prettyprinter (staging)
- haskell-s-cargot (staging)
- haskell-scientific (staging)
- haskell-temporary (staging)
- haskell-th-lift
- haskell-th-lift-instances (staging)
- haskell-unliftio (staging)
- haskell-unordered-containers (staging)
- haskell-utf8-string (staging)
- haskell-vector (staging)
- haskell-versions (staging)
- haskell-zenc (staging)
- cvc4 (optional)
- yices (optional)
- z3 (staging) (optional)
- ghc (make)
- haskell-contravariant (make)
- haskell-hedgehog (staging) (make)
- haskell-lumberjack (staging) (make)
- haskell-quickcheck (staging) (make)
- haskell-tasty (staging) (make)
- haskell-tasty-checklist (staging) (make)
- haskell-tasty-expected-failure (staging) (make)
- haskell-tasty-hedgehog (staging) (make)
- haskell-tasty-hunit (staging) (make)
- haskell-tasty-quickcheck (staging) (make)
- haskell-tasty-sugar (staging) (make)
- uusi (staging) (make)
- cvc4 (check)
- yices (check)
- z3 (staging) (check)
Required By (1)
- cryptol (staging)