/*
   * Pool of solver
   *
   */
  Pool *pool() { return $self->pool; }