[Scip] integer variables get assigned non-integer values

[Robert Schwarz]

On 12/04/2013 10:20 AM, Stefan Lörwald wrote:
> However I'd very much like to actually see a case in which 0.9999999 is
> feasible, but 1 is not. Do you have an example at hand?

      find: x
subject to: x == 0.9999998
            x in {0, 1}

With a feasibility tolerance of 0.0000001, both constraints are
satisfied. But x := 1 violates the linear equation.

-- 
Robert Schwarz

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <http://listserv.zib.de/pipermail/scip/attachments/20131204/759b7a0a/attachment.asc>