/*
   * Create a solver for this pool
   *
   * Equivalent to: Solver.new
   *
   * call-seq:
   *  pool.create_solver -> Solver
   *
   */
  Solver* create_solver()