This module contains the logic that manages a solver instance, configures it and runs it. It used the scans module to perform the scan and other modules to configure it. Note that the interface presented here is very raw, and not meant to be used as an API.