Fixed test cases, wrote solver, compiled sources