Synthetic generation under constraints