The minisat package

[ Tags: bsd3, library, logic ] [ Propose Tags ]

Properties

Versions 0.1, 0.1.1, 0.1.2
Dependencies async, base (>=3 && <5) [details]
License BSD3
Author
Maintainer none
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 1022 total (26 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-07-03 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees