Dependencies for toysolver-0.3.0

library
toysolver
toysat
toyfmf
lpconvert
pbconvert
sudoku
nqueens
knapsack
htc
pigeonhole
maxsatverify
pbverify

Flags

Manual Flags

NameDescriptionDefault
forcechar8

set default encoding to char8 (not to use iconv)

Disabled
buildtoyfmf

build toyfmf command

Disabled
buildsampleprograms

build sample programs

Disabled
buildmiscprograms

build misc programs

Disabled
Automatic Flags
NameDescriptionDefault
exceptions06

use exceptions >=0.6

Enabled
random1013

use random >=1.0.1.3

Enabled
time15

use time >=1.5.0

Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info