Chance-Constrained Programming | Synapse