Planning in ReluxCAD