cache the defining solver for simple cases
Merge pull request #9 from babelsberg/SimpleCacheDefiningSolver

Cache the defining solver for simple cases