The toysolver package

[Tags: bsd3, library, program]

Toy-level implementation of some decision procedures


Versions0.0.2, 0.0.3, 0.0.4,, 0.0.5, 0.0.6, 0.1.0
Dependenciesalgebra, array, base (>=4.4 && <5), bytestring, containers (>=0.4.2), data-interval (>=0.2.0), deepseq, filepath, finite-field (>=0.6.0), heaps, lattices (>=, logic-TPTP, mtl, multiset, old-locale, OptDir, parse-dimacs, parsec, prettyclass (>=1.0.0), primes, queue, random, stm (>=2.3), time, toysolver, unbounded-delays, vector-space (>=0.8.6)
AuthorMasahiro Sakai (
CategoryAlgorithms, Optimisation, Optimization, Theorem Provers
Bug tracker
Source repositoryhead: git clone git://
Executablespbconvert, lpconvert, toyfmf, toysat, toysolver
UploadedThu May 2 00:21:23 UTC 2013 by MasahiroSakai
Downloads593 total (47 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




forcechar8set default encoding to char8 (not to use iconv)Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees