[Cbc] Problem in using SOS and LotSize objects

[mg]

Hi all,
I'm trying to use SOS and LotSize/SemiContinuous objects without success.

I have created a very simple program (attached) containing a small problem
with SOS and a small problem using LotSize objects...

The SOS test problem is the following:

max         3 * x0 + 2 * x1 + 4 * x2
subject to
            x0, x1, x2 binary
            sos1(x0, x1, x2)

and solving it, I get x0 = 1, x1= 1, x2 = 1 where I expected just one
single 1...

The LotSize/SemiContinuous test problem is the following:

min         2 * x0 + 3 * x1 + x2
subject to
            3 * x0 + 5 * x1 + 7 * x2 <= 42
            4 * x0 + 3 * x1 + 2 * x2 <= 31
            2 * x0 + 1 * x1 + 5 * x2 <= 23
            x0, x1, x2 integers [0,4]
            x1 semi-continuous can be 0 or [3,4]

and solving it, I get x0 = 4, x1 = 2 where I expected x1 being 0,3 or 4

Am I doing something wrong ?

Thanks in advance,
Marco
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140627/54db314a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: maintest.c
Type: text/x-csrc
Size: 3166 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140627/54db314a/attachment.bin>