ToySolver.Text.SDPFile
data Problem
type Matrix
type Block
mDim
nBlock
blockElem
type DenseMatrix
type DenseBlock
denseMatrix
denseBlock
diagBlock
render
renderSparse
parseDataString
parseDataFile
parseSparseDataString
parseSparseDataFile