21 Apr
2010
21 Apr
'10
9:37 a.m.
Bo Jensen wrote:
Ok, if I understand you correct this is a long the lines of your suggestion :
--read-sol arg arg = [somefile]. Reads a solution file. Supported extensions .sol .sol.gz.
This is good enough for me.
I would actually use: --read-sol arg Solution file. Supported extensions .sol .sol.gz. - Volodya