/*
   * 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()