Draw all the linear constraints
Cast obstacle condensation as an integer program