Added testcase solver