The satchmo package

[Tags: gpl, library]

Encoding for boolean and integral constraints into (QBF-)CNF-SAT. The encoder is provided as a State monad (hence the mo in satchmo). requires a backend (e.g. satchmo-backends, satchmo-funsat)

Properties

Versions1.0, 1.1, 1.1.1, 1.2, 1.3, 1.4, 1.8.0, 1.8.1, 1.9.1, 2.6.0, 2.8.1, 2.8.2, 2.9.0, 2.9.1, 2.9.2, 2.9.3, 2.9.4, 2.9.5, 2.9.6, 2.9.7, 2.9.7.1
Change logNone available
Dependenciesarray, base, containers, mtl, process
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
CategoryAlgorithms
Home pagehttp://dfa.imn.htwk-leipzig.de/satchmo/
UploadedTue Apr 21 08:31:47 UTC 2009 by JohannesWaldmann
DistributionsNixOS:2.9.7.1
Downloads1824 total (112 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees