Dependencies for toysolver-0.1.0
library |
|
---|---|
toysolver | |
toysat |
|
toyfmf |
|
lpconvert |
|
pbconvert |
|
pigeonhole |
|
maxsatverify |
|
pbverify |
|
Flags
Manual Flags
Name | Description | Default |
---|---|---|
forcechar8 | set default encoding to char8 (not to use iconv) | Disabled |
buildtoyfmf | build toyfmf command | Disabled |
buildmiscprograms | build misc programs | Disabled |
Automatic Flags
Name | Description | Default |
---|---|---|
exceptions06 | use exceptions >=0.6 | Enabled |
random1013 | use random >=1.0.1.3 | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info