pseudo-boolean-0.1.10.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, OverloadedStrings)
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.PseudoBoolean.Attoparsec

Description

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

References:

Synopsis

Parsing OPB files

opbParser :: Parser Formula Source #

Parser for OPB files

parseOPBByteString :: ByteString -> Either String Formula Source #

Parse a OPB format string containing pseudo boolean problem.

parseOPBFile :: FilePath -> IO (Either String Formula) Source #

Parse a OPB file containing pseudo boolean problem.

Parsing WBO files

wboParser :: Parser SoftFormula Source #

Parser for WBO files

parseWBOByteString :: ByteString -> Either String SoftFormula Source #

Parse a WBO format string containing weighted boolean optimization problem.

parseWBOFile :: FilePath -> IO (Either String SoftFormula) Source #

Parse a WBO file containing weighted boolean optimization problem.