picosat 0.1.1 → 0.1.2
raw patch · 2 files changed
+6/−8 lines, 2 filesdep ~base
Dependency ranges changed: base
Files
- picosat.cabal +3/−3
- src/Picosat.hs +3/−5
picosat.cabal view
@@ -1,5 +1,5 @@ name: picosat-version: 0.1.1+version: 0.1.2 synopsis: Bindings to the PicoSAT solver homepage: https://github.com/sdiehl/haskell-picosat license: MIT@@ -9,7 +9,7 @@ copyright: 2014 Stephen Diehl Category: Logic build-type: Simple-cabal-version: >=1.20+cabal-version: >=1.10 tested-with: GHC == 7.6.1, GHC == 7.6.3, GHC == 7.8.3 extra-source-files: cbits/picosat.h@@ -28,7 +28,7 @@ ghc-options: -Wall -O2 -fwarn-tabs cc-options: -funroll-loops- build-depends: base >=4.6 && <4.7+ build-depends: base >=4.6 && <4.8 default-language: Haskell2010 Hs-source-dirs: src Include-dirs: cbits
src/Picosat.hs view
@@ -13,7 +13,7 @@ > 2 4 5 0 > 4 6 0 -We feed this list to the SAT solver using the 'solve' function either in IO or ST monad.+We feed this list of clauses to the SAT solver using the 'solve' function. @ import Picosat@@ -37,11 +37,9 @@ @ import Picosat-import Control.Monad.ST -main :: [Int]-main = runST $ do- solveAllST [[1,2]]+main :: IO [Int]+main = solveAll [[1,2]] -- [Solution [1,2],Solution [-1,2],Solution [1,-2]] @