Vasiliy Dommes

> I have no knowledge of WSL. Is the path to `stack` the problem? The path is correct. The problem is that the plugin tries to call this file from...

NB: for stable output, we should process files in a lexicographical order.

Also we should ignore .nsv in this case

Some SDP test/benchmark references from https://link.springer.com/article/10.1007/s10107-006-0029-9, chapter 5): - https://github.com/vsdp/SDPLIB (SDPA format) - TRUSS collection Available at [http://www2.am.uni-erlangen.de/∼kocvara/pennon/problems.html](http://www2.am.uni-erlangen.de/) (invalid link). Working link (probably the same): https://web.mat.bham.ac.uk/kocvara/pennon/problems.html - Mittelmann, H.: Benchmarks...

Currently we have a simple (1x1 block) test for `pvm2sdp` and `sdpb`. We also have a non-trivial test for `sdp2input`, but its result is not solvable by `sdpb`, see #38...

> Only the zero at 4/3 corresponds to a saturated positivity constraint, so spectrum should only find that one. Thanks, updated issue description

# SDPB restart `sdp.zip` is reused for SDPB restart, so it makes sense to write it anyway. We can run SDPB with the following options: ``` sdpb --pmpPath=pmp.json --sdpPath=sdp.zip ```...

# Distributing PMP matrices and SDP blocks Speaking of performance, there is a problem with distributing the blocks among the cores. ## Current behavior: In sdp2input, each core stores and...

After recent `pmp2sdp` input #150 and output #177 optimizations, IO performance should not be that much of a problem.

@imaneekjana seems that waf cannot find C++ compiler (g++ or clang++). You can specify it by `CXX=/path/to/c++compiler ./waf configure --elemental-dir=/Users/install` As I see from waf source code (see [here](https://gitlab.com/ita1024/waf/-/blob/master/waflib/Tools/gxx.py#L19) and...