Fix code consistency and doc issues w/ GecodeSolver