Fix cnf2Clauses
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Jul 2012 13:46:14 +0000 (15:46 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Jul 2012 13:46:14 +0000 (15:46 +0200)
ClauseSat.hs

index b70bcb9..4f35d97 100644 (file)
@@ -68,7 +68,7 @@ clause2CNF c@(Not a _) = toProducer
 cnf2Clauses :: Producer (Clause AtomI) -> CNF -> Producer (Clause AtomI)
 cnf2Clauses clauses conj = toProducer $ filter check $ build clauses
   where check c = any (`S.member` conjS) $ map Z.sort $ build (clause2CNF c)
-        conjS = S.fromList $ V.toList conj
+        conjS = S.fromList $ map Z.sort $ V.toList conj
 
 runClauseSAT :: AtomI -> Producer AtomI -> Producer AtomI -> SATProb -> IO (Either CNF (S.Set AtomI))
 runClauseSAT mi desired unwanted sp = do