add solver->describe_decision() method