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