The minisat package

[Tags: bsd3, library]

Properties

Versions0.1, 0.1.1, 0.1.2
Change logNone available
Dependenciesasync, base (>=3 && <5) [details]
LicenseBSD3
Maintainernone
CategoryLogic
Source repositoryhead: git clone https://github.com/jbransen/minisat-bundle.git
UploadedFri Jul 3 10:15:09 UTC 2015 by JeroenBransen
DistributionsNixOS:0.1.2
Downloads630 total (42 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2015-07-03 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees