Dependencies for toysolver-0.7.0
library |
|
---|---|
toysolver | |
toysat | |
toysmt |
|
toyqbf | |
toyfmf |
|
toyconvert | |
sudoku | |
nonogram |
|
nqueens | |
numberlink |
|
knapsack | |
assign |
|
shortest-path |
|
htc |
|
svm2lp |
|
survey-propagation |
|
probsat |
|
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 |
withzlib | Use zlib package to support gzipped files | Enabled |
buildtoyfmf | build toyfmf command | Disabled |
buildsampleprograms | build sample programs | Disabled |
buildmiscprograms | build misc programs | Disabled |
usehaskeline | use haskeline package | Enabled |
opencl | use opencl package | Disabled |
extraboundschecking | enable extra bounds checking for debugging | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info