Драматическая ошибка в lp_solve?

Question

Я простая проблема, которую я переданная lp_solve через IDE (5.5.2.0)

/* Objective function */ 
max: +r1 +r2; 

/* Constraints */ 
R1: +r1 +r2 <= 4; 
R2: +r1 -2 b1 = 0; 
R3: +r2 -3 b2 = 0; 

/* Variable bounds */ 
b1 <= 1; 
b2 <= 1; 

/* Integer definitions */ 
int b1,b2; 

Очевидное решение этой проблему 3. СКИП, а также C дает 3 в ответе, но не lp_solve. Здесь я получаю 2. Есть ли большая ошибка в решателе?

Спасибо заранее.

Answer 1

У меня был контакт с группой разработчиков, которая заботится о программном обеспечении lpsolve. Ошибка будет исправлена ​​в следующей версии lpsolve.

Answer 2

Когда я попробовал, я получаю 3 как оптимальное значение для функции Obj.

Model name: 'LPSolver' - run #1 
Objective: Maximize(R0) 

SUBMITTED 
Model size:  3 constraints,  4 variables,   6 non-zeros. 
Sets:         0 GUB,     0 SOS. 

Using DUAL simplex for phase 1 and PRIMAL simplex for phase 2. 
The primal and dual simplex pricing strategy set to 'Devex'. 

Relaxed solution     4 after   4 iter is B&B base. 

Feasible solution     2 after   6 iter,   3 nodes (gap 40.0%) 

Optimal solution     2 after   7 iter,   4 nodes (gap 40.0%). 
Excellent numeric accuracy ||*|| = 0 

MEMO: lp_solve version 5.5.2.0 for 32 bit OS, with 64 bit REAL variables. 
In the total iteration count 7, 1 (14.3%) were bound flips. 
There were 2 refactorizations, 0 triggered by time and 0 by density. 
... on average 3.0 major pivots per refactorization. 
The largest [LUSOL v2.2.1.0] fact(B) had 8 NZ entries, 1.0x largest basis. 
The maximum B&B level was 3, 0.8x MIP order, 3 at the optimal solution. 
The constraint matrix inf-norm is 3, with a dynamic range of 3. 
Time to load data was 0.001 seconds, presolve used 0.017 seconds, 
... 0.007 seconds in simplex solver, in total 0.025 seconds.