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

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

ToySolver.Text.SDPFile

Contents

Description

References:

Synopsis

The problem type

data Problem Source

Constructors

Problem 

Fields

blockStruct :: [Int]

the block strcuture vector (bLOCKsTRUCT)

costs :: [Rational]

Constant Vector

matrices :: [Matrix]

Constraint Matrices

mDim :: Problem -> Int Source

the number of primal variables (mDim)

nBlock :: Problem -> Int Source

the number of blocks (nBLOCK)

Construction

Rendering

Parsing

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

Parse a SDPA format (.dat) string.

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

Parse a SDPA format file (.dat).

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

Parse a SDPA sparse format (.dat-s) string.

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

Parse a SDPA sparse format file (.dat-s).