Dependencies for toysolver-0.4.0
library |
|
---|---|
toysolver | |
toysat |
|
toysmt |
|
toyfmf |
|
lpconvert | |
pbconvert | |
sudoku | |
nonogram |
|
nqueens | |
knapsack | |
htc |
|
svm2lp |
|
pigeonhole |
|
maxsatverify | |
pbverify |
|
Flags
Manual Flags
Name | Description | Default |
---|---|---|
forcechar8 | set default encoding to char8 (not to use iconv) | Disabled |
linuxstatic | build statically linked binaries | Disabled |
buildtoyfmf | build toyfmf command | Disabled |
buildsampleprograms | build sample programs | Disabled |
buildmiscprograms | build misc programs | Disabled |
usehaskeline | use haskeline package | Enabled |
Automatic Flags
Name | Description | Default |
---|---|---|
exceptions06 | use exceptions >=0.6 | Enabled |
time15 | use time >=1.5.0 | Enabled |
transformers051 | use transformers >=0.5.1 | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info