jukebox-0.4.2: dependencies

Dependencies for jukebox-0.4.2

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

Automatic Flags

Name	Description	Default
minisat	Use minisat. Required for monotonicity inference.	Enabled
static-cxx	Build a binary which statically links against libstdc++.	Disabled

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