Integer and Combinatorial Optimization | Synapse