Solver dynamic loading checks inheritance from satsolver.SATSolver