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