getHelp method

String getHelp()

Implementation

String getHelp() {
  return _c._z3.optimize_get_help(_optimize).cast<Utf8>().toDartString();
}