Package toysolver version 0.4.0-0 component lib:toysolver :: Monadoc

The latest version of toysolver is 0.8.1-1.

lib:toysolver

Modules

Dependencies

MemoTrie lib:MemoTrie <=0.6.2
OptDir lib:OptDir >=0
array lib:array >=0.4.0.0
base lib:base >=4.6 && <5
bytestring lib:bytestring >=0.9.2.1 && <0.11
bytestring-builder lib:bytestring-builder >=0
containers lib:containers >=0.5.0
data-default-class lib:data-default-class >=0
data-interval lib:data-interval >=1.0.1 && <1.3.0
deepseq lib:deepseq >=0
exceptions lib:exceptions ==0.5 && >=0.6
extended-reals lib:extended-reals >=0.1 && <1.0
filepath lib:filepath >=0
finite-field lib:finite-field >=0.7.0 && <1.0.0
ghc-prim lib:ghc-prim >=0
hashable lib:hashable >=1.1.2.5 && <1.3.0.0
heaps lib:heaps >=0
intern lib:intern >=0.9.1.2 && <1.0.0.0
loop lib:loop >=0.2.0 && <1.0.0
mtl lib:mtl >=2.1.2
multiset lib:multiset >=0
mwc-random lib:mwc-random >=0.13.1 && <0.14
parse-dimacs lib:parse-dimacs >=0
parsec lib:parsec >=3.1.2 && <4
prettyclass lib:prettyclass >=1.0.0
primes lib:primes >=0
process lib:process >=1.1.0.2
pseudo-boolean lib:pseudo-boolean >=0.1.3.0 && <0.2.0.0
queue lib:queue >=0
semigroups lib:semigroups >=0.17
sign lib:sign >=0.2.0 && <1.0.0
stm lib:stm >=2.3
template-haskell lib:template-haskell >=0
temporary lib:temporary >=1.2 && >1.2.0.2
time lib:time >=0
transformers lib:transformers <0.5.1.0 && >=0.5.1.0 && >=0.2
transformers-compat lib:transformers-compat >=0.3
type-level-numbers lib:type-level-numbers >=0.1.1.0 && <0.2.0.0
unordered-containers lib:unordered-containers >=0.2.3 && <0.3.0
vector lib:vector >=0
vector-space lib:vector-space >=0.8.6

Reverse dependencies

Direct only. Not exhaustive.

toysolver bench:BenchmarkSATLIB
toysolver exe:lpconvert
toysolver exe:pbconvert
toysolver exe:toyfmf
toysolver exe:toysat
toysolver exe:toysolver
toysolver test:TestAReal
toysolver test:TestContiTraverso
toysolver test:TestInterval
toysolver test:TestLPFile
toysolver test:TestMIPSolver2
toysolver test:TestMPSFile
toysolver test:TestPBFile
toysolver test:TestPolynomial
toysolver test:TestQE
toysolver test:TestSAT
toysolver test:TestSimplex2
toysolver test:TestUtil