Added constraint stubs
Added commenting to Solve.java