Package toysolver version 0.6.0-5 component lib:toysolver

The latest version of toysolver is 0.8.1-1.

lib:toysolver

Modules

Dependencies

OpenCL lib:OpenCL >=1.0.3.4
OptDir lib:OptDir >=0
array lib:array >=0.4.0.0
base lib:base >=4.8 && <5
bytestring lib:bytestring >=0.9.2.1 && <0.11
bytestring-builder lib:bytestring-builder >=0
bytestring-encoding lib:bytestring-encoding >=0
case-insensitive lib:case-insensitive >=0
clock lib:clock >=0.7.1
containers lib:containers >=0.5.0
data-default-class lib:data-default-class >=0
data-interval lib:data-interval >=1.0.1 && <1.4.0
deepseq lib:deepseq >=0
extended-reals lib:extended-reals >=0.1 && <1.0
filepath lib:filepath >=0
finite-field lib:finite-field >=0.9.0 && <1.0.0
ghc-prim lib:ghc-prim >=0
hashable lib:hashable >=1.1.2.5 && <1.4.0.0
hashtables lib:hashtables >=0
heaps lib:heaps >=0
intern lib:intern >=0.9.1.2 && <1.0.0.0
lattices lib:lattices >=0
log-domain lib:log-domain <0.13
loop lib:loop >=0.3.0 && <1.0.0
megaparsec lib:megaparsec >=4.4.0 && <10
mtl lib:mtl >=2.1.2
multiset lib:multiset >=0
mwc-random lib:mwc-random >=0.13.1 && <0.15
pretty lib:pretty >=1.1.2.0 && <1.2
primes lib:primes >=0
primitive lib:primitive >=0.6
process lib:process >=1.1.0.2
pseudo-boolean lib:pseudo-boolean >=0.1.3.0 && <0.2.0.0
queue lib:queue >=0
scientific lib:scientific >=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
text lib:text >=1.1.0.0
time lib:time >=1.5.0
transformers lib:transformers >=0.2
transformers-compat lib:transformers-compat >=0.3
unordered-containers lib:unordered-containers >=0.2.3 && <0.3.0
vector lib:vector >=0
vector-space lib:vector-space >=0.8.6
xml-conduit lib:xml-conduit >=0
zlib lib:zlib >=0

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