Integer Programming with a Fixed Number of Variables | Synapse