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
Upload dateSat Sep 13 03:05:58 UTC 2014
Uploaded byMasahiroSakai
Downloads433 total (61 in last 30 days)

Modules

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