satchmo 2.9.7 → 2.9.7.1

raw patch · 3 files changed

+3/−2 lines, 3 files

Files

Satchmo/Data.hs +1/−1
Satchmo/SAT/Mini.hs +1/−0
satchmo.cabal +1/−1

Satchmo/Data.hs view

@@ -4,7 +4,7 @@ module Satchmo.Data   ( CNF, cnf, singleton, clauses, foldr, filter, size-, Clause, clause, literals, without+, Clause (CTrue), clause, literals, without , Literal, literal, nicht, positive, variable , Variable  )

Satchmo/SAT/Mini.hs view

@@ -61,6 +61,7 @@       -- hPutStrLn stderr $ "fresh: " ++ show (x, l)       return l +  emit CTrue = return ()   emit cl = SAT $ \ s -> do       let conv l = ( if positive l then id else API.neg )                   $ toEnum

satchmo.cabal view

@@ -1,5 +1,5 @@ Name:           satchmo-Version:        2.9.7+Version:        2.9.7.1  License:        GPL License-file:	gpl-2.0.txt