Minor change to README. Added some testcases. Renamed GenSolverTest to IntGenSolverTest.