Property-Constrained Manufacturing Logic