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
Change logNone available
Dependenciesarray, base, containers, process, satchmo (>=1.4), satchmo-backends (>=1.4), satchmo-funsat (>=1.4) [details]
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
CategoryAlgorithms
Home pagehttp://dfa.imn.htwk-leipzig.de/satchmo/
ExecutablesQBF, VC, HC, Factor
UploadedTue Apr 21 20:56:19 UTC 2009 by JohannesWaldmann
DistributionsNixOS:1.8.1
Downloads596 total (41 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-06-07 [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees