Dependencies for jukebox-0.4.2

Libraries

jukebox

Executables

jukebox

Flags

Automatic Flags
NameDescriptionDefault
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