implementation of an exact algorithm for 2-layer planarization