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

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

ToySolver.Data.MIP.LPFile

Description

Synopsis

Documentation

parseString :: (Stream s, Token s ~ Char, IsString (Tokens s)) => FileOptions -> String -> s -> Either (ParseError s) (Problem Scientific) Source #

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

parseFile :: FileOptions -> FilePath -> IO (Problem Scientific) Source #

Parse a file containing LP file data.

parser :: (MonadParsec e s m, Token s ~ Char, IsString (Tokens s)) => m (Problem Scientific) Source #

LP file parser

render :: FileOptions -> Problem Scientific -> Either String Text Source #

Render a problem into a string.