The picosat package

[Tags: library, mit]

picosat provides bindings for the fast PicoSAT solver library.


Properties

Versions0.1.0.0, 0.1.0.1
Dependenciesbase (==4.6.*)
LicenseMIT
Copyright2012 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
Upload dateMon Dec 30 07:00:39 UTC 2013
Uploaded bysdiehl
Downloads94 total (8 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees