Parametric integer programming | Synapse