Copyright | (c) Masahiro Sakai 2016-2018 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Deprecated: Use ToySolver.FileFormat.CNF instead
Reader and Writer for DIMACS CNF and family of similar formats.
Synopsis
- data CNF = CNF {
- cnfNumVars :: !Int
- cnfNumClauses :: !Int
- cnfClauses :: [PackedClause]
- parseFile :: (FileFormat a, MonadIO m) => FilePath -> m (Either String a)
- parseByteString :: ByteString -> Either String CNF
- writeFile :: (FileFormat a, MonadIO m) => FilePath -> a -> m ()
- hPutCNF :: Handle -> CNF -> IO ()
- cnfBuilder :: CNF -> Builder
Documentation
DIMACS CNF format
CNF | |
|
Parsing .cnf files
parseFile :: (FileFormat a, MonadIO m) => FilePath -> m (Either String a) Source #
Parse a file but returns an error message when parsing fails.
parseByteString :: ByteString -> Either String CNF Source #
Parse a CNF file but returns an error message when parsing fails.