Option `--help` prints blanks

[vuphan314]

@fbacchus Dr. Bacchus,

The MSE21 and MSE20 versions print help as blank characters (--help and --help-verb).

The MSE19 version prints help correctly.

Could you have a look?

Thank you.

[fbacchus]

Unfortunately there is a bug in minisat's option processing that I have not traced down. In fact I have switched to my own option parser post MSE21. However, I cannot modify these old versions without diverging from the official version submitted to the evaluation, so this bug will persist in these versions...but will be fixed in the next version.

If you look at the file maxhs/utils/Params.cc you will find all the command line options information that would have
been printed with --help-verb. E.g.,

static IntOption opt_verb(maxhs, "verb",
"Verbosity level (0=silent, 1=some, 2=more, "
"3=debugging output, 4=more debugging output).",
1, IntRange(0, 5));

In each xxxOption variable the second argument ("verb" in the above example) is what is used on the command line, the help is the 3rd argument, the default the 4th argument, and in this case the range of legal values the 5th argumeent, e.g.

maxhs -verb=3

works on the command line. Sorry this is a bit of a clunky way of getting the information, but it can be done.

Many of the options are intended for development and would be difficult to use unless you know the code.

At some point I should document the "user" focused options. But until then I'm happy to answer any questions you have.

[vuphan314]

I appreciate the detailed explanation!