The toysolver package

[Tags: bsd3, library, program]

Toy-level implementation of some decision procedures


Properties

Versions0.0.2, 0.0.3, 0.0.4, 0.0.4.1, 0.0.5, 0.0.6
Dependenciesarray, base (>=4.4 && <5), bytestring, containers (>=0.4.2), data-interval (>=0.1.0), deepseq, filepath, heaps, lattices (>=1.2.1.1), logic-TPTP, mtl, old-locale, OptDir, parse-dimacs, parsec, primes, queue, random, stm (>=2.3), time, toysolver, unbounded-delays, vector-space (>=0.8.6)
LicenseBSD3
AuthorMasahiro Sakai (masahiro.sakai@gmail.com)
Maintainermasahiro.sakai@gmail.com
CategoryAlgorithms, Optimisation, Optimization
Bug trackerhttps://github.com/msakai/toysolver/issues
Source repositoryhead: git clone git://github.com/msakai/toysolver.git
Executablespbconvert, lpconvert, toyfmf, toysat, toysolver
Upload dateThu Apr 11 23:11:42 UTC 2013
Uploaded byMasahiroSakai
Downloads379 total (23 in last 30 days)

Modules

Flags

NameDescriptionDefault
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

Downloads

Maintainers' corner

For package maintainers and hackage trustees