Dependencies for toysolver-0.0.2
Executables
toysolver
- array
- base (>=4 && <4.6)
- containers
- deepseq
- filepath
- mtl
- OptDir
- parse-dimacs
- parsec
- stm (>=2.3)
toysat
- array
- base (>=4 && <5)
- bytestring
- containers (>=0.4.2)
- filepath
- mtl
- old-locale
- OptDir
- parse-dimacs
- parsec
- queue
- random
- time
- if flag(forcechar8) && impl(ghc)
- base (>=4.5)
lp2yices
- base (>=4 && <5)
- containers
- mtl
- OptDir
- parsec
cnf2lp
maxsat2lp
pb2lp
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| forcechar8 | set default encoding to char8 (not to use iconv) | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info