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

Portabilityportable
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellSafe-Inferred

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 -> IntSource

the number of primal variables (mDim)

nBlock :: Problem -> IntSource

the number of blocks (nBLOCK)

Construction

Rendering

Parsing

parseDataString :: SourceName -> String -> Either ParseError ProblemSource

Parse a SDPA format (.dat) string.

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

Parse a SDPA format file (.dat).

parseSparseDataString :: SourceName -> String -> Either ParseError ProblemSource

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

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

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