The picosat package

[Tags: library, mit]

picosat provides bindings for the fast PicoSAT solver library.


Properties

Versions0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.1, 0.1.2
Dependenciesbase (>=4.6 && <4.8)
LicenseMIT
Copyright2014 Stephen Diehl
AuthorStephen Diehl
Maintainerstephen.m.diehl@gmail.com
CategoryLogic
Home pagehttps://github.com/sdiehl/haskell-picosat
Bug trackerhttps://github.com/sdiehl/haskell-picosat/issues
Source repositoryhead: git clone git@github.com:sdiehl/haskell-picosat.git
UploadedFri Oct 31 04:29:00 UTC 2014 by sdiehl
Downloads375 total (42 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees