pseudo-boolean-0.1.2.0: Reading/Writing OPB/WBO files used in pseudo boolean competition

Copyright(c) Masahiro Sakai 2011-2015
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Portabilitynon-portable (BangPatterns, FlexibleContexts)
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.PseudoBoolean.Parsec

Contents

Description

A parser library for OPB file and WBO files used in pseudo boolean competition.

References:

Synopsis

Parsing OPB files

opbParser :: Stream s m Char => ParsecT s u m Formula Source

Parser for OPB files

parseOPBString :: SourceName -> String -> Either ParseError Formula Source

Parse a OPB format string containing pseudo boolean problem.

parseOPBByteString :: SourceName -> ByteString -> Either ParseError Formula Source

Parse a OPB format lazy bytestring containing pseudo boolean problem.

parseOPBFile :: FilePath -> IO (Either ParseError Formula) Source

Parse a OPB file containing pseudo boolean problem.

Parsing WBO files

wboParser :: Stream s m Char => ParsecT s u m SoftFormula Source

Parser for WBO files

parseWBOString :: SourceName -> String -> Either ParseError SoftFormula Source

Parse a WBO format string containing weighted boolean optimization problem.

parseWBOByteString :: SourceName -> ByteString -> Either ParseError SoftFormula Source

Parse a WBO format lazy bytestring containing pseudo boolean problem.

parseWBOFile :: FilePath -> IO (Either ParseError SoftFormula) Source

Parse a WBO file containing weighted boolean optimization problem.