Concrete solver instance created by the wrapper.
Developer documentation: this item describes internal implementation details.