Dependencies for toysolver-0.8.1
Libraries
toysolver
- array (>=0.5)
- base (>=4.12 && <4.19)
- bytestring (>=0.9.2.1 && <0.12)
- bytestring-builder
- bytestring-encoding (>=0.1.1.0)
- case-insensitive
- clock (>=0.7.1)
- containers (>=0.5.8)
- data-default
- data-default-class
- data-interval (>=2.0.1 && <2.2.0)
- deepseq
- directory
- extended-reals (>=0.1 && <1.0)
- filepath
- finite-field (>=0.9.0 && <1.0.0)
- hashable (>=1.2 && <1.5.0.0)
- hashtables
- heaps
- intern (>=0.9.1.2 && <1.0.0.0)
- lattices
- log-domain
- loop (>=0.3.0 && <1.0.0)
- megaparsec (>=7 && <10)
- MIP (>=0.1.1.0 && <0.2)
- mtl (>=2.1.2)
- multiset
- mwc-random (>=0.13.1 && <0.16)
- OptDir
- pretty (>=1.1.2.0 && <1.2)
- primes
- primitive (>=0.6)
- process (>=1.1.0.2)
- pseudo-boolean (>=0.1.3.0 && <0.2.0.0)
- queue
- scientific
- semigroups (>=0.17)
- sign (>=0.2.0 && <1.0.0)
- stm (>=2.3)
- template-haskell
- temporary (>=1.2)
- text (>=1.1.0.0)
- time (>=1.5.0)
- transformers (>=0.2)
- transformers-compat (>=0.3)
- unordered-containers (>=0.2.3 && <0.3.0)
- vector (>=0.11)
- vector-space (>=0.8.6)
- xml-conduit
- if flag(withzlib)
- if flag(opencl)
- OpenCL (>=1.0.3.4)
- if impl(ghc)
Executables
toysolver
- array
- base
- containers
- data-default-class
- filepath
- MIP
- OptDir
- optparse-applicative (>=0.13)
- pseudo-boolean
- scientific
- toysolver
toysat
- array
- base
- bytestring
- clock
- containers
- data-default-class
- filepath
- megaparsec
- MIP
- mwc-random
- optparse-applicative (>=0.13)
- pseudo-boolean
- scientific
- time
- toysolver
- unbounded-delays
- vector
toysmt
- base
- containers
- intern
- mtl
- optparse-applicative
- parsec (>=3.1.2 && <4)
- text
- toysolver
- transformers
- transformers-compat
- if flag(usehaskeline)
- haskeline (>=0.7 && <0.9)
toyqbf
toyfmf
- if !flag(buildtoyfmf)
- buildable: False
- if flag(buildtoyfmf)
- base
- containers
- intern
- logic-TPTP (>=0.4.6.0 && <0.5)
- optparse-applicative
- text
- toysolver
toyconvert
- ansi-wl-pprint
- base
- bytestring
- bytestring-builder
- data-default-class
- filepath
- MIP
- optparse-applicative (<0.18)
- pseudo-boolean
- scientific
- text
- toysolver
sudoku
nonogram
- array
- base
- containers
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
nqueens
numberlink
- array
- base
- bytestring
- containers
- data-default-class
- parsec
- pseudo-boolean
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
knapsack
assign
- attoparsec
- base
- bytestring
- containers
- toysolver
- vector
- if !flag(buildsampleprograms)
- buildable: False
shortest-path
- base
- bytestring
- containers
- toysolver
- unordered-containers
- if !flag(buildsampleprograms)
- buildable: False
htc
- base
- containers
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
svm2lp
- base
- containers
- data-default-class
- MIP
- scientific
- split
- text
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
survey-propagation
- base
- data-default-class
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
- if flag(opencl)
probsat
- base
- clock
- data-default-class
- mwc-random
- optparse-applicative
- toysolver
- vector
- if !flag(buildsampleprograms)
- buildable: False
pigeonhole
- base
- bytestring
- 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 |
| withzlib | Use zlib package to support gzipped files | Enabled |
| buildtoyfmf | build toyfmf command | Disabled |
| buildsampleprograms | build sample programs | Disabled |
| buildmiscprograms | build misc programs | Disabled |
| usehaskeline | use haskeline package | Enabled |
| opencl | use opencl package | Disabled |
| extraboundschecking | enable extra bounds checking for debugging | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info