Copyright | (c) Masahiro Sakai 2012 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
References:
- data WCNF = WCNF {
- numVars :: !Int
- numClauses :: !Int
- topCost :: !Weight
- clauses :: [WeightedClause]
- type WeightedClause = (Weight, Clause)
- type Weight = Integer
- parseFile :: FilePath -> IO (Either String WCNF)
- parseByteString :: ByteString -> Either String WCNF
- writeFile :: FilePath -> WCNF -> IO ()
- hPutWCNF :: Handle -> WCNF -> IO ()
- wcnfBuilder :: WCNF -> Builder
Documentation
WCNF | |
|
type WeightedClause = (Weight, Clause) Source #
Parsing .cnf/.wcnf files
parseByteString :: ByteString -> Either String WCNF Source #
Generating .wcnf files
wcnfBuilder :: WCNF -> Builder Source #