Quellcode-Paket: haskell-what4 (1.3-4)
Links für haskell-what4
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- haskell-what4-utils
- Solver-agnostic symbolic values support for issuing queries
- libghc-what4-dev
- Solver-agnostic symbolic values support for issuing queries
- libghc-what4-doc
- Solver-agnostic symbolic values support for issuing queries; documentation
- libghc-what4-prof
- Solver-agnostic symbolic values support for issuing queries; profiling libraries
Andere Pakete mit Bezug zu haskell-what4
-
- adep:
debhelper
(>= 10)
- Hilfsprogramme für debian/rules
-
- adep:
haskell-devscripts-minimal
- Tools to help Debian developers build Haskell packages
- oder
haskell-devscripts
(>= 0.13)
- Debian tools to build Haskell packages (with hscolour)
-
- adep:
cdbs
- Gemeinsames Build-System für Debian-Pakete
-
- adep:
ghc
- Das Glasgow Haskell Compilation System
-
- adep:
ghc-prof
- Profilierungs-Bibliotheken für das Glasgow Haskell Kompilations-System
-
- adep:
libghc-async-dev
- run IO operations asynchronously and wait for their results
-
- adep:
libghc-async-prof
- run IO operations asynchronously and wait for their results; profiling libs
-
- adep:
libghc-attoparsec-dev
(>= 0.13)
- Fast combinator parsing for bytestrings
-
- adep:
libghc-attoparsec-prof
- Fast combinator parsing for bytestrings; profiling libraries
-
- adep:
libghc-bifunctors-dev
(>= 5)
- Haskell 98 bifunctors
-
- adep:
libghc-bifunctors-prof
- Haskell 98 bifunctors; profiling libraries
-
- adep:
libghc-bimap-dev
(>= 0.2)
- bidirectional mapping between two key types
-
- adep:
libghc-bimap-prof
- bidirectional mapping between two key types; profiling libraries
-
- adep:
libghc-bv-sized-dev
(>= 1.0.0)
- bitvector datatype parameterized by the vector width
-
- adep:
libghc-bv-sized-prof
- bitvector datatype parameterized by the vector width; profiling libraries
-
- adep:
libghc-concurrent-extra-dev
(>= 0.7)
- Extra concurrency primitives
-
- adep:
libghc-concurrent-extra-dev
(<< 0.8)
- Extra concurrency primitives
-
- adep:
libghc-concurrent-extra-prof
- Extra concurrency primitives; profiling libraries
-
- adep:
libghc-config-value-dev
(>= 0.8)
- simple, layout-based value language similar to YAML/JSON
-
- adep:
libghc-config-value-dev
(<< 0.9)
- simple, layout-based value language similar to YAML/JSON
-
- adep:
libghc-config-value-prof
- simple, layout-based value language similar to YAML/JSON; profiling libraries
-
- adep:
libghc-data-binary-ieee754-dev
- parser/serialiser for IEEE-754 floating-point values
-
- adep:
libghc-data-binary-ieee754-prof
- parser/serialiser for IEEE-754 floating-point values; profiling libraries
-
- adep:
libghc-deriving-compat-dev
(>= 0.5)
- backports of GHC deriving extensions
-
- adep:
libghc-deriving-compat-prof
- backports of GHC deriving extensions; profiling libraries
-
- adep:
libghc-fingertree-dev
(>= 0.1.4)
- Generic finger-tree data structure implementation in Haskell
-
- adep:
libghc-fingertree-prof
- Generic finger-tree data structure implementation in Haskell; profiling libraries
-
- adep:
libghc-hashable-dev
(>= 1.3)
- class for types that can be converted to a hash value
-
- adep:
libghc-hashable-prof
- class for types that can be converted to a hash value; profiling libraries
-
- adep:
libghc-hashtables-dev
(>= 1.2.3)
- mutable hash tables
-
- adep:
libghc-hashtables-prof
- mutable hash tables -- profiling libraries; profiling libraries
-
- adep:
libghc-hedgehog-dev
(>= 1.0.2)
- Hedgehog will eat all your bugs
-
- adep:
libghc-hedgehog-prof
- Hedgehog will eat all your bugs; profiling libraries
-
- adep:
libghc-io-streams-dev
(>= 1.5)
- simple, composable, and easy-to-use stream I/O
-
- adep:
libghc-io-streams-prof
- simple, composable, and easy-to-use stream I/O; profiling libraries
-
- adep:
libghc-lens-dev
(>= 4.18)
- Lenses, Folds and Traversals
-
- adep:
libghc-lens-prof
- Lenses, Folds and Traversals; profiling libraries
-
- adep:
libghc-lumberjack-dev
- Trek through your code forest and make logs
-
- adep:
libghc-lumberjack-prof
- Trek through your code forest and make logs; profiling libraries
-
- adep:
libghc-libbf-dev
(>= 0.6)
- Binding to the libBF library
-
- adep:
libghc-libbf-dev
(<< 0.7)
- Binding to the libBF library
-
- adep:
libghc-libbf-prof
- Binding to the libBF library; profiling libraries
-
- adep:
libghc-panic-dev
(>= 0.3)
- convenient way to panic
-
- adep:
libghc-panic-prof
- convenient way to panic; profiling libraries
-
- adep:
libghc-parameterized-utils-dev
(>= 2.1)
- Classes/data structures for data-kind indexed types
-
- adep:
libghc-parameterized-utils-dev
(<< 2.2)
- Classes/data structures for data-kind indexed types
-
- adep:
libghc-parameterized-utils-prof
- Classes/data structures for data-kind indexed types; profiling libraries
-
- adep:
libghc-prettyprinter-dev
(>= 1.7.0)
- modern, easy-to-use, extensible prettyprinter
-
- adep:
libghc-prettyprinter-prof
- modern, easy-to-use, extensible prettyprinter; profiling libraries
-
- adep:
libghc-quickcheck2-dev
(>= 2.12)
- Haskell-Bibliothek für automatische Tests für GHC
-
- adep:
libghc-quickcheck2-prof
- Haskell automatic testing library for GHC; profiling libraries
-
- adep:
libghc-scientific-dev
(>= 0.3.6)
- scientific notation for floating-point numbers
-
- adep:
libghc-scientific-prof
- scientific notation for floating-point numbers; profiling libraries
-
- adep:
libghc-tasty-dev
(>= 0.10)
- Haskell testing framework
-
- adep:
libghc-tasty-prof
- Haskell testing framework; profiling libraries
-
- adep:
libghc-tasty-checklist-dev
(>= 1.0.3)
- Check multiple items during a tasty test
-
- adep:
libghc-tasty-checklist-dev
(<< 1.1)
- Check multiple items during a tasty test
-
- adep:
libghc-tasty-checklist-prof
- Check multiple items during a tasty test; profiling libraries
-
- adep:
libghc-tasty-expected-failure-dev
(>= 0.12)
- mark tasty tests as failure-expected
-
- adep:
libghc-tasty-expected-failure-dev
(<< 0.13)
- mark tasty tests as failure-expected
-
- adep:
libghc-tasty-expected-failure-prof
- mark tasty tests as failure-expected; profiling libraries
-
- adep:
libghc-tasty-hedgehog-dev
(>= 1.2)
- hedgehog-tasty integration
-
- adep:
libghc-tasty-hedgehog-prof
- hedgehog-tasty integration; profiling libraries
-
- adep:
libghc-tasty-hunit-dev
(>= 0.9)
- Haskell-Testgerüst, HUnit-Unterstützung
-
- adep:
libghc-tasty-hunit-prof
- Haskell-Testgerüst, HUnit-Unterstützung; Profiling-Bibliotheken
-
- adep:
libghc-tasty-quickcheck-dev
(>= 0.10)
- Haskell testing framework, QuickCheck support
-
- adep:
libghc-tasty-quickcheck-prof
- Haskell testing framework, QuickCheck support; profiling libraries
-
- adep:
libghc-temporary-dev
(>= 1.2)
- Temporary files and directories
-
- adep:
libghc-temporary-prof
- Temporary files and directories; profiling libraries
-
- adep:
libghc-th-abstraction-dev
(>= 0.1)
- nicer interface for reified information about data types
-
- adep:
libghc-th-abstraction-dev
(<< 0.5)
- nicer interface for reified information about data types
-
- adep:
libghc-th-abstraction-prof
- nicer interface for reified information about data types; profiling libraries
-
- adep:
libghc-th-lift-dev
(>= 0.8.2)
- Leitet Template Haskells Klasse Lift für Datentypen ab
-
- adep:
libghc-th-lift-dev
(<< 0.9)
- Leitet Template Haskells Klasse Lift für Datentypen ab
-
- adep:
libghc-th-lift-prof
- derive Template Haskell's Lift class for datatypes.; profiling libraries
-
- adep:
libghc-th-lift-instances-dev
(>= 0.1)
- Lift instances for template-haskell for common data types
-
- adep:
libghc-th-lift-instances-dev
(<< 0.2)
- Lift instances for template-haskell for common data types
-
- adep:
libghc-th-lift-instances-prof
- Lift instances for template-haskell for common data types; profiling libraries
-
- adep:
libghc-unordered-containers-dev
(>= 0.2.10)
- Efficient hashing-based container types
-
- adep:
libghc-unordered-containers-prof
- Efficient hashing-based container types; profiling libraries
-
- adep:
libghc-utf8-string-dev
(>= 1.0.1)
- GHC libraries for the Haskell UTF-8 library
-
- adep:
libghc-utf8-string-prof
- Profiling support for the GHC Haskell UTF-8 library
-
- adep:
libghc-vector-dev
(>= 0.12.1)
- Efficient Arrays for Haskell
-
- adep:
libghc-vector-prof
- Efficient Arrays for Haskell; profiling libraries
-
- adep:
libghc-versions-dev
(>= 4.0)
- Types and parsers for software version numbers.
-
- adep:
libghc-versions-dev
(<< 6.0)
- Types and parsers for software version numbers.
-
- adep:
libghc-versions-prof
- Types and parsers for software version numbers.; profiling libraries
-
- adep:
libghc-zenc-dev
(>= 0.1.0)
- GHC style name Z-encoding and Z-decoding
-
- adep:
libghc-zenc-dev
(<< 0.2.0)
- GHC style name Z-encoding and Z-decoding
-
- adep:
libghc-zenc-prof
- GHC style name Z-encoding and Z-decoding; profiling libraries
-
- adep:
cvc4
- automated theorem prover for SMT problems
-
- adep:
z3
- Theorembeweiser von Microsoft Research
