Made command_name abstract
Solver documentation