parse-dimacs 1.0 → 1.0.1

raw patch · 2 files changed

+5/−5 lines, 2 files

Files

• Language/CNF/Parse/ParseDIMACS.hs +4/−4
• parse-dimacs.cabal +1/−1

@@ -23,7 +23,7 @@  data CNF = CNF {numVars :: Int                ,numClauses :: Int-               ,clauses :: [[Integer]]}+               ,clauses :: [[Int]]}  parseCNF :: String              -- ^ The filename.  Used to report errors.          -> String              -- ^ The contents of the CNF file.@@ -54,7 +54,7 @@                skipComments)        <|> return () -int :: Parser Integer+int :: Parser Int int = do parity <- option '+' $ choice $ map char "+-"          first <- nonZeroDigit          rest <- many digit@@ -71,13 +71,13 @@                spaces                return i -clause :: Parser [Integer]+clause :: Parser [Int] clause =     do spaces        lits <- between (string "") (char '0') (many1 intSpaces)        newline        return $ lits -manyClause :: Parser [[Integer]]+manyClause :: Parser [[Int]] manyClause = many1 clause 

@@ -1,5 +1,5 @@ Name:                parse-dimacs-Version:             1.0+Version:             1.0.1 Synopsis:            DIMACS CNF parser library Description:         A DIMACS CNF parser library, implemented with Parsec. Category:            Parsing