SolverImpl implemented. SolverImlTest add. latest src merge
remove debug code
merge testcode
test code merge
height == 0 の場合