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, satchmo-funsat, satchmo-minisat
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
Home pagehttp://dfa.imn.htwk-leipzig.de/satchmo/
ExecutablesVC, HC, Factor
UploadedWed Apr 1 09:08:52 UTC 2009 by JohannesWaldmann
Downloads353 total (32 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees