twee-lib-2.4.2: dependencies

Dependencies for twee-lib-2.4.2

library	base (>=4.11 && <5) bytestring cereal containers dlist ghc-prim pretty (>=1.1.2.0) primitive (>=0.7.1.0) random transformers uglymemo if flag(profile) hashable rdtsc symbol unordered-containers

Name	Description	Default
llvm	Build using LLVM backend for faster code.	Disabled
bounds-checks	Use bounds checks for all array operations.	Disabled
profile	Print a profiling report after every prover run.	Disabled

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