Dependencies for toysolver-0.4.0
Libraries
toysolver
- array (>=0.4.0.0)
- base (>=4.6 && <4.11)
- bytestring (>=0.9.2.1 && <0.11)
- bytestring-builder
- containers (>=0.5.0)
- data-default-class
- data-interval (>=1.0.1 && <1.3.0)
- deepseq
- extended-reals (>=0.1 && <1.0)
- filepath
- finite-field (>=0.7.0 && <0.9.0)
- hashable (>=1.1.2.5 && <1.3.0.0)
- heaps
- intern (>=0.9.1.2 && <1.0.0.0)
- loop (>=0.2.0 && <1.0.0)
- mtl (>=2.1.2)
- multiset
- mwc-random (>=0.13.1 && <0.14)
- OptDir
- parse-dimacs
- parsec (>=3.1.2 && <4)
- prettyclass (>=1.0.0)
- primes
- process (>=1.1.0.2)
- pseudo-boolean (>=0.1.3.0 && <0.2.0.0)
- queue
- semigroups (>=0.17)
- sign (>=0.2.0 && <1.0.0)
- stm (>=2.3)
- template-haskell
- time
- transformers (>=0.2)
- transformers-compat (>=0.3)
- type-level-numbers (>=0.1.1.0 && <0.2.0.0)
- unordered-containers (>=0.2.3 && <0.3.0)
- vector
- vector-space (>=0.8.6)
- if flag(exceptions06)
- exceptions (>=0.6)
- temporary (>1.2.0.2)
- exceptions (==0.5)
- temporary (>=1.2)
- if impl(ghc<7.7)
- MemoTrie (<=0.6.2)
- if flag(transformers051)
- transformers (>=0.5.1.0)
- transformers (<0.5.1.0)
- if impl(ghc)
Executables
toysolver
toysat
- array
- base
- bytestring
- containers
- data-default-class
- filepath
- mwc-random
- parse-dimacs
- parsec
- process (>=1.1.0.2)
- pseudo-boolean
- toysolver
- unbounded-delays
- vector
- vector-space
- if flag(time15)
- time (>=1.5.0)
- old-locale
- time (<1.5.0)
- if flag(forcechar8) && impl(ghc)
- base (>=4.5)
toysmt
- base
- containers
- data-default-class
- mtl
- parsec
- toysolver
- transformers
- transformers-compat
- if flag(usehaskeline)
- haskeline (>=0.7 && <0.8)
- if flag(forcechar8) && impl(ghc)
- base (>=4.5)
toyfmf
- if !flag(buildtoyfmf)
- buildable: False
- if flag(buildtoyfmf)
- base
- containers
- logic-TPTP (>=0.4.1)
- toysolver
- if impl(ghc<7.9) && flag(transformers051)
- logic-TPTP (>=0.4.4.0)
lpconvert
pbconvert
sudoku
nonogram
- array
- base
- containers
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
nqueens
knapsack
htc
- base
- containers
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
svm2lp
- base
- containers
- data-default-class
- split
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
pigeonhole
- base
- containers
- pseudo-boolean
- toysolver
- if !flag(buildmiscprograms)
- buildable: False
maxsatverify
pbverify
- array
- base
- pseudo-boolean
- toysolver
- if !flag(buildmiscprograms)
- buildable: False
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| forcechar8 | set default encoding to char8 (not to use iconv) | Disabled |
| linuxstatic | build statically linked binaries | Disabled |
| buildtoyfmf | build toyfmf command | Disabled |
| buildsampleprograms | build sample programs | Disabled |
| buildmiscprograms | build misc programs | Disabled |
| usehaskeline | use haskeline package | Enabled |
Automatic Flags
| Name | Description | Default |
|---|---|---|
| exceptions06 | use exceptions >=0.6 | Enabled |
| time15 | use time >=1.5.0 | Enabled |
| transformers051 | use transformers >=0.5.1 | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info