This matters very little, but I've seen several examples where verbosity is set to 2:
Code: Select all
solver.set_verbosity(2)
Code: Select all
/// How much information should be spewed to the console?
/// 0: tropter and the underlying solver are silent.
/// 1: tropter is verbose, and the underlying solver uses its default
/// verbosity.
void set_verbosity(int value);
Code: Select all
void Solver::set_verbosity(int verbosity) {
TROPTER_VALUECHECK(verbosity == 0 || verbosity == 1,
"verbosity", verbosity, "0 or 1");
m_verbosity = verbosity;
m_problem->set_verbosity(verbosity);
}
Thank you again!