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

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

ToySolver.Text.LPFile

Description

Synopsis

Documentation

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

Parse a string containing LP 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 LP file data.

render :: Problem -> Maybe String Source

Render a problem into a string.