Outline of an algorithm for integer solutions to linear programs | Synapse