Fixed a fence-post error in maxflow_gt constraints that surfaced when comparing to 0
Fixed a fence-post error in maxflow_gt constraints that surfaced when comparing to 0

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat