Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : grisette : 0.2.0.0
Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into constraints, Grisette can help the development of program reasoning tools, including verification, synthesis, and more. This Grisette module exports all you need for building a symbolic evaluation tool. For more details, please checkout the README.
Registry -
Download -
JSON
purl: pkg:hackage/[email protected]
Published:
Indexed:
Related tag:
v0.2.0.0
- compare
Loading...
Readme
Loading...
Dependencies
- array >=0.5.4 && <0.6
- base >4.14 && <5
- bytestring >=0.10.12 && <0.12
- call-stack >=0.1 && <0.5
- deepseq >=1.4.4 && <1.5
- generic-deriving >=1.14.1 && <1.15
- hashable >=1.2.3 && <1.5
- hashtables >=1.2.3.4 && <1.4
- intern >=0.9.2 && <0.10
- loch-th >=0.2.2 && <0.3
- mtl >=2.2.2 && <2.3
- once >=0.2 && <0.5
- parallel *
- sbv >=8.11 && <9.1
- template-haskell >=2.16 && <2.20
- th-compat >=0.1.2 && <0.2
- transformers >=0.5.6 && <0.6
- unordered-containers >=0.2.11 && <0.3
- vector >=0.12.1 && <0.14