Adding doctest and solver stub file.