toysolver-0.2.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2012-2014
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

ToySolver.Text.MPSFile

Description

Synopsis

Documentation

parseString :: SourceName -> String -> Either ParseError Problem Source

Parse a string containing MPS file data. The source name is only | used in error messages and may be the empty string.

parseFile :: FilePath -> IO (Either ParseError Problem) Source

Parse a file containing MPS file data.

parser :: Parser Problem Source

MPS file parser