Dependencies for toysolver-0.5.0
Libraries
toysolver
- array (>=0.4.0.0)
- base (>=4.8 && <4.11)
- bytestring (>=0.9.2.1 && <0.11)
- bytestring-builder
- clock (>=0.7.1)
- containers (>=0.5.0)
- data-default-class
- data-interval (>=1.0.1 && <1.4.0)
- deepseq
- extended-reals (>=0.1 && <1.0)
- filepath
- finite-field (>=0.9.0 && <1.0.0)
- hashable (>=1.1.2.5 && <1.3.0.0)
- hashtables
- heaps
- intern (>=0.9.1.2 && <1.0.0.0)
- lattices (<2)
- log-domain (<0.13)
- loop (>=0.3.0 && <1.0.0)
- megaparsec (>=4.4.0 && <6.4)
- mtl (>=2.1.2)
- multiset
- mwc-random (>=0.13.1 && <0.14)
- OptDir
- prettyclass (>=1.0.0)
- 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
- vector-space (>=0.8.6)
- xml-conduit
- if flag(opencl)
- OpenCL (>=1.0.3.4)
- if impl(ghc)
Executables
toysolver
toysat
- array
- base
- bytestring
- clock
- containers
- data-default
- data-default-class
- directory
- filepath
- megaparsec
- mwc-random
- process (>=1.1.0.2)
- pseudo-boolean
- scientific
- temporary
- time
- toysolver
- unbounded-delays
- vector
toysmt
- base
- containers
- data-default-class
- intern
- mtl
- parsec (>=3.1.2 && <4)
- text
- toysolver
- transformers
- transformers-compat
- if flag(usehaskeline)
- haskeline (>=0.7 && <0.8)
toyqbf
toyfmf
- if !flag(buildtoyfmf)
- buildable: False
- if flag(buildtoyfmf)
- base
- containers
- intern
- logic-TPTP (>=0.4.4.0)
- text
- toysolver
- if impl(ghc<7.9)
- if flag(logictptp045)
- logic-TPTP (>=0.4.5.0)
- transformers-compat (<0.5)
- if flag(logictptp045)
toyconvert
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
- scientific
- split
- text
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
survey-propagation
- base
- data-default-class
- toysolver
- if !flag(buildsampleprograms)
- buildable: False
- if flag(opencl)
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 |
| opencl | use opencl package | Disabled |
| testcbc | run test cases that depends on cbc command | Disabled |
| testcplex | run test cases that depends on cplex command | Disabled |
| testglpsol | run test cases that depends on glpsol command | Disabled |
| testgurobicl | run test cases that depends on gurobi_cl command | Disabled |
| testlpsolve | run test cases that depends on lp_solve command | Disabled |
| testscip | run test cases that depends on scip command | Disabled |
Automatic Flags
| Name | Description | Default |
|---|---|---|
| logictptp045 | use logic-TPTP >=0.4.5.0 | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info