/* * Check if the last solver run had problems. * * Returns true if any problems occured during solve, returns false * on successful solve. * * call-seq: * solver.problems? -> bool * */ int problems_found()