Closed GoogleCodeExporter closed 8 years ago
Running into some issues using big-M notation: solver += x >= (y+1) - 100*z solver += x <= (y-1) + 100*(1-z) where z is binary
Original issue reported on code.google.com by ryanjoneil on 12 Jan 2012 at 3:35
ryanjoneil
This was fixed as a result of Issue 34
Original comment by ryanjoneil on 12 Jan 2012 at 7:24
Original issue reported on code.google.com by
ryanjoneil
on 12 Jan 2012 at 3:35