The minisat package

[Tags: bsd3, library]

Properties

Versions0.1, 0.1.1
Dependenciesasync, base (>=3 && <5), zlib
LicenseBSD3
Maintainernone
CategoryLogic
Source repositoryhead: git clone https://github.com/jbransen/minisat-bundle.git
UploadedWed Jan 21 13:05:27 UTC 2015 by JeroenBransen
DistributionsNixOS:0.1.1
Downloads334 total (35 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-01-21 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees