solver stub