Removed class SolverConfiguration
Refactored general solving structure.
Interface cleanup in SATSolver class