* Added KuhnSolverSpec