Add script for synthesis with multiple optimization constraints