Generate constrained plan ()