getHelp method

String getHelp()

Implementation

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