The satchmo-examples package

[Tags: gpl, program]

examples that show how to use satchmo


Properties

Versions1.3, 1.4, 1.4.1, 1.8.1
Dependenciesarray, base, containers, process, satchmo (>=1.4), satchmo-backends (>=1.4), satchmo-funsat (>=1.4)
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
CategoryAlgorithms
Home pagehttp://dfa.imn.htwk-leipzig.de/satchmo/
ExecutablesQBF, VC, HC, Factor
Upload dateTue Apr 21 20:56:19 UTC 2009
Uploaded byJohannesWaldmann
Downloads229 total (30 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees