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
Dependenciesbase (==4.6.*)
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
Upload dateThu Aug 7 23:03:38 UTC 2014
Uploaded bysdiehl
Downloads237 total (22 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees