The minisat package

[Tags: bsd3, library]

Properties

Version0.1
Dependenciesasync, base (>=3 && <5)
LicenseBSD3
Maintainernone
CategoryLogic
Source repositoryhead: git clone https://github.com/jbransen/minisat-bundle.git
UploadedFri Jun 20 08:43:08 UTC 2014 by JeroenBransen
Downloads242 total (31 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees