[Cbc] SOS sample

[James Howey]

The following is intended to:

                If (free > 0) pos = free else pos = 0

 

Without use of bigm. It seems to work until I introduce pos into the
objective at which point it is unbounded.

 

I am new to linear programming in general and SOS in particular. Is this a
bad model, or is there something else going on?

 

Is this due to lack of lp implementation as some recent traffic seems to
indicate?

 

Thanks,

 

jkh

 

MAXIMIZE

+HS_pos 

SUBJECT TO

HS_free: -HS_ at free +HS_free  = 0

HS_P0_diff: +HS_free +HS_P0_diff -HS_pos  = 0

HS_P0_sum: +HS_P0_y +HS_P0_z  = 1

HS_pos: -HS_ at pos +HS_pos  = 0

BOUNDS

HS_ at free free

HS_ at pos free

HS_free = -5

BINARY

HS_P0_y HS_P0_z 

SOS

S0: S1:: HS_pos:1 HS_P0_y:2 

S1: S1:: HS_P0_diff:1 HS_P0_z:2 

END

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20180119/0498281c/attachment.html>