Solution is inexact. Is this to be expected in some cases?

[GoogleCodeExporter]

What steps will reproduce the problem?

Solution is inexact. Is this to be expected in some cases?

1.
data set
5900
1294 12
1127 12
1059 2

What is the expected output? What do you see instead?

./cspsol --data /users/jonathan/cspsol-data-1.txt

 # Solution Report #

Best integer obj. func. value = 6
Pattern count =          2:  1294 x  4, 
Pattern count =          2:  1294 x  1,  1127 x  4, 
Pattern count =          2:  1294 x  1,  1127 x  3,  1059 x  1, 

which equates to a data set of

1294 12
1127 14
1059 2

./cspsol --cgroot --data /users/jonathan/cspsol-data-1.txt

 # Solution Report #

Best integer obj. func. value = 6
Pattern count =    1:  1294 x  2,  1127 x  1,  1059 x  2,
Pattern count =    2:  1294 x  4,
Pattern count =    3:  1294 x  1,  1127 x  4,

which equates to a data set of

1294 13
1127 13
1059 2

What version of the product are you using? On what operating system?
cspsol-0.9 on OS X

Please provide any additional information below.

Original issue reported on code.google.com by jonathan...@yahoo.com on 27 Oct 2009 at 4:19

[GoogleCodeExporter]

Yes this is expected. Integer model is using greater than or equal to (>=) 
constraints.
The optimal solution pattern produces widths count that could greater than or 
equal
to required count.

Original comment by vijay.pa...@gmail.com on 29 Oct 2009 at 3:33

• Changed state: Invalid
• Added labels: Type-Other
• Removed labels: Type-Defect