Copyright | (c) Masahiro Sakai 2011-2016 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Portability | non-portable (BangPatterns, FlexibleContexts, TypeFamilies, CPP, ConstraintKinds) |
Safe Haskell | None |
Language | Haskell2010 |
A parser library for OPB file and WBO files used in pseudo boolean competition.
References:
- Input/Output Format and Solver Requirements for the Competitions of Pseudo-Boolean Solvers http://www.cril.univ-artois.fr/PB11/format.pdf
- opbParser :: (MonadParsec e s m, Token s ~ Char) => m Formula
- parseOPBString :: String -> String -> Either (ParseError Char Dec) Formula
- parseOPBByteString :: String -> ByteString -> Either (ParseError Char Dec) Formula
- parseOPBFile :: FilePath -> IO (Either (ParseError Char Dec) Formula)
- wboParser :: (MonadParsec e s m, Token s ~ Char) => m SoftFormula
- parseWBOString :: String -> String -> Either (ParseError Char Dec) SoftFormula
- parseWBOByteString :: String -> ByteString -> Either (ParseError Char Dec) SoftFormula
- parseWBOFile :: FilePath -> IO (Either (ParseError Char Dec) SoftFormula)
Parsing OPB files
parseOPBString :: String -> String -> Either (ParseError Char Dec) Formula Source #
Parse a OPB format string containing pseudo boolean problem.
parseOPBByteString :: String -> ByteString -> Either (ParseError Char Dec) Formula Source #
Parse a OPB format lazy bytestring containing pseudo boolean problem.
parseOPBFile :: FilePath -> IO (Either (ParseError Char Dec) Formula) Source #
Parse a OPB file containing pseudo boolean problem.
Parsing WBO files
wboParser :: (MonadParsec e s m, Token s ~ Char) => m SoftFormula Source #
Parser for WBO files
parseWBOString :: String -> String -> Either (ParseError Char Dec) SoftFormula Source #
Parse a WBO format string containing weighted boolean optimization problem.
parseWBOByteString :: String -> ByteString -> Either (ParseError Char Dec) SoftFormula Source #
Parse a WBO format lazy bytestring containing pseudo boolean problem.
parseWBOFile :: FilePath -> IO (Either (ParseError Char Dec) SoftFormula) Source #
Parse a WBO file containing weighted boolean optimization problem.