Dependencies for jukebox-0.2.11
Libraries
jukebox
- array
- base (>=4 && <5)
- containers
- directory
- dlist
- filepath
- pretty (>=1.1.2.0)
- process
- symbol
- transformers (>=0.4.0.0)
- uglymemo
- if flag(minisat)
Executables
jukebox
Flags
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