haskell-what4 1.6-60
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-what4 |
| 説明: | Solver-agnostic symbolic values support for issuing queries |
| 上流 URL: | https://github.com/GaloisInc/what4 |
| ライセンス: | BSD-3-Clause |
| パッケージ容量: | 3.0 MB |
| インストール容量: | 19.4 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-10-16 09:06:29 JST |
依存パッケージ (48)
- ghc-libs
- haskell-async
- haskell-attoparsec
- haskell-bimap
- haskell-bifunctors
- 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-lift
- haskell-th-lift-instances
- haskell-unliftio
- haskell-unordered-containers
- haskell-utf8-string
- haskell-vector
- haskell-versions
- haskell-zenc
- cvc4 (任意)
- yices (任意)
- z3 (任意)
- ghc (ビルド)
- uusi (ビルド)
- haskell-contravariant (ビルド)
- haskell-hedgehog (ビルド)
- haskell-lumberjack (ビルド)
- haskell-quickcheck (ビルド)
- haskell-tasty (ビルド)
- haskell-tasty-checklist (ビルド)
- haskell-tasty-expected-failure (ビルド)
- haskell-tasty-hedgehog (ビルド)
- haskell-tasty-hunit (ビルド)
- haskell-tasty-quickcheck (ビルド)
- haskell-tasty-sugar (ビルド)