Parametrische ganzzahlige Programmierung | Synapse