puresat-0.1: Pure Haskell SAT-solver
Safe HaskellNone
LanguageHaskell2010

PureSAT.DIMACS

Description

Synopsis

Documentation

parseDimacsFile :: FilePath -> IO [[Int]] Source #

Parse DIMACS file

with parsec >= 3.1.17 the ParseError is thrown on parse failure , otherwise UserError.

parseDimacs :: FilePath -> ByteString -> Either ParseError [[Int]] Source #

demo :: [[Int]] -> [Int] Source #