amosr / limp-cbc

Coin-OR/CBC bindings for Haskell

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Variables with no specified bounds have different semantics to different solvers

amosr opened this issue · comments

If you have a linear variable and do not explicitly specify bounds, the semantics in this package is a range from (-coinDoubleMax, +coinDoubleMax). If you pretty-print the same program and pass it to CBC on the command line, it is interpreted as the range (0, +coinDoubleMax). I'm tempted to require explicit bounds in all cases.