/*
   * The solver this problem belongs to
   */
  Solver *solver()