Module solver
Classes
CommandInfo
DefaultSolver
ImplInfo
SATSolver
Solver