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, 0.2.0
Dependenciesarray, base, bytestring, containers, data-default-class, data-interval (>=1.0.1 && <1.3.0), deepseq, exceptions (==0.5 || >=0.6), extended-reals (>=0.1 && <1.0), filepath, finite-field (>=0.7.0 && <1.0.0), ghc-prim, hashable (>=1.1.2.5 && <1.3.0.0), heaps, intern (>=0.9.1.2 && <1.0.0.0), logic-TPTP (>=0.4.1), 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, sign (>=0.2.0 && <1.0.0), stm (>=2.3), temporary (>=1.2), 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, htc, knapsack, nqueens, sudoku, pbconvert, lpconvert, toyfmf, toysat, toysolver
UploadedTue Jan 6 14:29:00 UTC 2015 by MasahiroSakai
DistributionsNixOS:0.2.0
Downloads701 total (98 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-01-06 [all 1 reports]

Modules

[Index]

Flags

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

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