Note on solving linear programs in integers | Synapse