Data.PseudoBoolean.Megaparsec

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

Parsing OPB files

opbParser :: (MonadParsec e s m, Token s ~ Char) => m Formula

Parser for OPB files

parseOPBString :: String -> String -> Either (ParseError Char Dec) Formula

Parse a OPB format string containing pseudo boolean problem.

parseOPBByteString :: String -> ByteString -> Either (ParseError Char Dec) Formula

Parse a OPB format lazy bytestring containing pseudo boolean problem.

parseOPBFile :: FilePath -> IO (Either (ParseError Char Dec) Formula)

Parse a OPB file containing pseudo boolean problem.

Parsing WBO files

wboParser :: (MonadParsec e s m, Token s ~ Char) => m SoftFormula

Parser for WBO files

parseWBOString :: String -> String -> Either (ParseError Char Dec) SoftFormula

Parse a WBO format string containing weighted boolean optimization problem.

parseWBOByteString :: String -> ByteString -> Either (ParseError Char Dec) SoftFormula

Parse a WBO format lazy bytestring containing pseudo boolean problem.

parseWBOFile :: FilePath -> IO (Either (ParseError Char Dec) SoftFormula)

Parse a WBO file containing weighted boolean optimization problem.