| Copyright | (c) Masahiro Sakai 2011-2014 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
ToySolver.Data.MIP
Description
Mixed-Integer Programming Problems with some commmonly used extensions
Synopsis
- module ToySolver.Data.MIP.Base
- readFile :: FileOptions -> FilePath -> IO (Problem Scientific)
- readLPFile :: FileOptions -> FilePath -> IO (Problem Scientific)
- readMPSFile :: FileOptions -> FilePath -> IO (Problem Scientific)
- parseLPString :: FileOptions -> String -> String -> Either (ParseError String) (Problem Scientific)
- parseMPSString :: FileOptions -> String -> String -> Either (ParseError String) (Problem Scientific)
- writeFile :: FileOptions -> FilePath -> Problem Scientific -> IO ()
- writeLPFile :: FileOptions -> FilePath -> Problem Scientific -> IO ()
- writeMPSFile :: FileOptions -> FilePath -> Problem Scientific -> IO ()
- toLPString :: FileOptions -> Problem Scientific -> Either String Text
- toMPSString :: FileOptions -> Problem Scientific -> Either String Text
- type ParseError s = ParseErrorBundle s Void
Documentation
module ToySolver.Data.MIP.Base
readFile :: FileOptions -> FilePath -> IO (Problem Scientific) Source #
Parse .lp or .mps file based on file extension
readLPFile :: FileOptions -> FilePath -> IO (Problem Scientific) Source #
Parse a file containing LP file data.
readMPSFile :: FileOptions -> FilePath -> IO (Problem Scientific) Source #
Parse a file containing MPS file data.
parseLPString :: FileOptions -> String -> String -> Either (ParseError String) (Problem Scientific) Source #
Parse a string containing LP file data.
parseMPSString :: FileOptions -> String -> String -> Either (ParseError String) (Problem Scientific) Source #
Parse a string containing MPS file data.
writeFile :: FileOptions -> FilePath -> Problem Scientific -> IO () Source #
writeLPFile :: FileOptions -> FilePath -> Problem Scientific -> IO () Source #
writeMPSFile :: FileOptions -> FilePath -> Problem Scientific -> IO () Source #
toLPString :: FileOptions -> Problem Scientific -> Either String Text Source #
toMPSString :: FileOptions -> Problem Scientific -> Either String Text Source #
type ParseError s = ParseErrorBundle s Void Source #