next branch runs into 'int CoinParam::intVal() const: Assertion `type_ == paramInt' failed.'
- Dominant language
- C++
- Stars
- 53
- Forks
- 47
- PR merge metrics
- No merged PRs in 30d
Description
Even for small ILPs like
[value_185.lp.txt](https://github.com/user-attachments/files/31143337/value_185.lp.txt)
I get
❯ ../usr/bin/cbc test/value_185.lp
CBC vtrunk — COIN-OR Branch and Cut
args: test/value_185.lp
default strategy 1
Switching back to maximization to get correct duals etc
▶ Problem loading
|Rows| = 124 |Cols| = 120 |NZ| = 292
Variables: 0 binary, 120 integer, 0 continuous
Coefficient ranges:
Matrix ∈ [1, 10] κ ≈ 10
Cost ∈ [1, 18] κ ≈ 18
Bounds ∈ [-, -] κ ≈ -
RHS ∈ [1, 1] κ ≈ 1
✔ Problem loaded — 124 rows, 120 cols, 292 NZ, 120 integer
▶ Root LP relaxation
Bound tightening: 71 bounds tightened (4 fixed) in 0.000 s.
Clique strengthening: no changes (0.00s)
Coefficient strengthening: no changes (0.00s)
Row reductions: 4 rows removed (4 all-fixed, 0 duplicate, 0 parallel), 0 row bounds tightened (0.00s)
cbc: /local/ssd/cullmann/build/lpsolve.clpsolve/libcbc/src/CoinUtils/src/CoinParam.cpp:1599: int CoinParam::intVal() const: Assertion `type_ == paramInt' failed.
zsh: abort (core dumped) ../usr/bin/cbc test/value_185.lp
with the next branch.
Contributor guide
No contributing guide indexed for this repository
Research direction
Reproduce the crash with the attached value_185.lp.txt file using the shown cbc command and the next branch. Start at CoinUtils/src/CoinParam.cpp:1599 and trace the parameter handling during root LP relaxation and row reductions; done means the assertion no longer aborts this input and the solver proceeds.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- backend
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100