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, 0.1.0
Dependenciesarray, base (>=4.4 && <5), bytestring, containers (>=0.4.2), data-interval (>=0.6.0 && <1.0.0), deepseq, filepath, finite-field (>=0.7.0 && <1.0.0), hashable (>=1.1.2.5 && <1.3.0.0), heaps, intern (>=0.9.1.2 && <1.0.0.0), loop (>=0.2.0 && <1.0.0), mtl (>=2.1.2), multiset, old-locale, OptDir, parse-dimacs, parsec, prettyclass (>=1.0.0), primes, process (>=1.1.0.2), queue, random (<1.0.1.3), sign (>=0.2.0 && <1.0.0), stm (>=2.3), time, toysolver, type-level-numbers (>=0.1.1.0 && <0.2.0.0), unbounded-delays, unordered-containers (>=0.2.3 && <0.3.0), vector-space (>=0.8.6) or
array, base (>=4.6.0.0 && <5), bytestring, containers (>=0.4.2), data-interval (>=0.6.0 && <1.0.0), deepseq, filepath, finite-field (>=0.7.0 && <1.0.0), hashable (>=1.1.2.5 && <1.3.0.0), heaps, intern (>=0.9.1.2 && <1.0.0.0), loop (>=0.2.0 && <1.0.0), mtl (>=2.1.2), multiset, old-locale, OptDir, parse-dimacs, parsec, prettyclass (>=1.0.0), primes, process (>=1.1.0.2), queue, random (>=1.0.1.3), sign (>=0.2.0 && <1.0.0), stm (>=2.3), time, toysolver, type-level-numbers (>=0.1.1.0 && <0.2.0.0), unbounded-delays, unordered-containers (>=0.2.3 && <0.3.0), vector-space (>=0.8.6)
LicenseBSD3
AuthorMasahiro Sakai (masahiro.sakai@gmail.com)
Maintainermasahiro.sakai@gmail.com
CategoryAlgorithms, Optimisation, Optimization, Theorem Provers, Constraints
Bug trackerhttps://github.com/msakai/toysolver/issues
Source repositoryhead: git clone git://github.com/msakai/toysolver.git
Executablespbverify, maxsatverify, pigeonhole, pbconvert, lpconvert, toyfmf, toysat, toysolver
UploadedSat Sep 13 03:05:58 UTC 2014 by MasahiroSakai
Downloads595 total (49 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Flags

NameDescriptionDefault
forcechar8set default encoding to char8 (not to use iconv)Disabled
buildtoyfmfbuild toyfmf commandDisabled
buildmiscprogramsbuild misc programsDisabled
exceptions06use exceptions >=0.6Enabled
random1013use random >=1.0.1.3Enabled

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