liquid-fixpoint-0.2.0.0: dependencies | Hackage

Dependencies for liquid-fixpoint-0.2.0.0

library	ansi-terminal array attoparsec base (>=4 && <5) bifunctors bytestring cmdargs containers deepseq directory filemanip filepath ghc-prim hashable intern mtl parsec pretty process syb text text-format transformers unordered-containers
fixpoint.native	ansi-terminal array base (>=4 && <5) bifunctors bytestring cmdargs containers deepseq directory filemanip filepath hashable liquid-fixpoint mtl parsec pretty process syb text text-format unordered-containers
fixpoint	ansi-terminal array base (>=4 && <5) bifunctors bytestring cmdargs containers deepseq directory filemanip filepath hashable liquid-fixpoint mtl parsec pretty process syb text text-format unordered-containers

Flags

Automatic Flags

Name	Description	Default
z3mem	Link to Z3	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info