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
Upload dateFri Jun 20 08:43:08 UTC 2014
Uploaded byJeroenBransen
Downloads38 total (19 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees