jukebox-0.2.13.1: dependencies

Dependencies for jukebox-0.2.13.1

library	array base (>=4 && <5) containers directory dlist filepath pretty (>=1.1.2.0) process symbol transformers (>=0.4.0.0) uglymemo if flag(minisat) minisat
jukebox	base (>=4 && <5) jukebox

Automatic Flags

Name	Description	Default
minisat	Use minisat. Required for monotonicity inference.	Enabled

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