ToySolver.Text.CNF

Deprecated: Use ToySolver.FileFormat.CNF instead

Reader and Writer for DIMACS CNF and family of similar formats.

Documentation

data CNF

DIMACS CNF format

Constructors

CNF

Fields

• cnfNumVars :: !Int

  Number of variables

• cnfNumClauses :: !Int

  Number of clauses

• cnfClauses :: [PackedClause]

  Clauses

Instances

Eq CNF

Defined in ToySolver.FileFormat.CNF

Methods

(==) :: CNF -> CNF -> Bool

(/=) :: CNF -> CNF -> Bool

Ord CNF

Defined in ToySolver.FileFormat.CNF

Methods

compare :: CNF -> CNF -> Ordering

(<) :: CNF -> CNF -> Bool

(<=) :: CNF -> CNF -> Bool

(>) :: CNF -> CNF -> Bool

(>=) :: CNF -> CNF -> Bool

max :: CNF -> CNF -> CNF

min :: CNF -> CNF -> CNF

Read CNF

Defined in ToySolver.FileFormat.CNF

Methods

readsPrec :: Int -> ReadS CNF

readList :: ReadS [CNF]

readPrec :: ReadPrec CNF

readListPrec :: ReadPrec [CNF]

Show CNF

Defined in ToySolver.FileFormat.CNF

Methods

showsPrec :: Int -> CNF -> ShowS

show :: CNF -> String

showList :: [CNF] -> ShowS

FileFormat CNF

Defined in ToySolver.FileFormat.CNF

Methods

parse :: ByteString -> Either String CNF

render :: CNF -> Builder

Parsing .cnf files

parseFile :: (FileFormat a, MonadIO m) => FilePath -> m (Either String a)

Parse a file but returns an error message when parsing fails.

parseByteString :: ByteString -> Either String CNF

Parse a CNF file but returns an error message when parsing fails.

Generating .cnf files

writeFile :: (FileFormat a, MonadIO m) => FilePath -> a -> m ()

Write a value into a file.

hPutCNF :: Handle -> CNF -> IO ()

Output a CNF to a Handle.

cnfBuilder :: CNF -> Builder

Encode a CNF to a Builder