Dependencies for jukebox-0.3.3

library
jukebox

Flags

NameDescriptionDefaultType
minisat

Use minisat. Required for monotonicity inference.

EnabledAutomatic
static-cxx

Build a binary which statically links against libstdc++.

DisabledAutomatic

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