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