The minisat package

[Tags:bsd3, library]

Properties

Versions 0.1, 0.1.1, 0.1.2
Dependencies async, base (>=3 && <5) [details]
License BSD3
Author
Maintainer none
Stability Unknown
Category Logic
Source repository head: git clone https://github.com/jbransen/minisat-bundle.git
Uploaded Fri Jul 3 10:15:09 UTC 2015 by JeroenBransen
Distributions NixOS:0.1.2
Downloads 793 total (8 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-07-03 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees