-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Pure Haskell SAT-solver
--   
--   SAT Solver implemented in Haskell.
--   
--   PureSAT uses DPLL with non-chronological backtracking and learning of
--   binaary clauses. Solver is in no-comparison to the state of the art
--   solvers, but it's fast enough to solve sudoku.
@package puresat
@version 0.1


-- | Parser for DIMACS CNF format
--   
--   explained in e.g.
--   <a>https://jix.github.io/varisat/manual/0.2.0/formats/dimacs.html</a>
--   and
--   <a>https://users.aalto.fi/~tjunttil/2021-DP-AUT/notes-sat/solving.html#the-dimacs-cnf-file-format</a>
module PureSAT.DIMACS

-- | Parse DIMACS file
--   
--   with parsec &gt;= 3.1.17 the <a>ParseError</a> is thrown on parse
--   failure , otherwise <tt>UserError</tt>.
parseDimacsFile :: FilePath -> IO [[Int]]
parseDimacs :: FilePath -> ByteString -> Either ParseError [[Int]]
demo :: [[Int]] -> [Int]
