Dependencies for toysolver-0.0.4
Libraries
toysolver
- array
- base (>=4 && <4.6)
- bytestring
- containers (>=0.4.2)
- data-interval (>=0.1.0 && <2)
- deepseq
- filepath
- heaps
- lattices (>=1.2.1.1)
- mtl
- old-locale
- OptDir
- parse-dimacs
- parsec
- primes
- queue
- random
- stm (>=2.3)
- time
- unbounded-delays
- vector-space (>=0.8.6)
Executables
toysolver
toysat
- array
- base (>=4 && <5)
- bytestring
- containers (>=0.4.2)
- filepath
- old-locale
- parse-dimacs
- parsec
- time
- toysolver
- unbounded-delays
- vector-space (>=0.8.6)
- if flag(forcechar8) && impl(ghc)
- base (>=4.5)
toyfmf
- base (>=4 && <5)
- containers (>=0.4.2)
- logic-TPTP
- toysolver
lpconvert
- base (>=4 && <5)
- containers
- filepath
- parse-dimacs
- toysolver
pbconvert
- base (>=4 && <5)
- containers
- filepath
- parse-dimacs
- toysolver
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