| Disable clique-nieghbour parallelism in parallel search + submips | 4 个月前 |
| Disable clique-nieghbour parallelism in parallel search + submips | 4 个月前 |
| Reformat conflictpool.cpp | 4 个月前 |
| Fix UB (credit explanation: Filippo) | 4 个月前 |
| Fix bug introduced by variable node limit during ramp up | 4 个月前 |
| Merge latest into branch | 4 个月前 |
| Fixes from franzs comments | 4 个月前 |
| Revert | 4 个月前 |
| Remove references | 6 个月前 |
| Add debugsol changes | 1 年前 |
| Pass pseudocost to resolveDepth so conflict score can increase for workers | 3 个月前 |
| Pass pseudocost to resolveDepth so conflict score can increase for workers | 3 个月前 |
| rename source dir to highs | 1 年前 |
| rename source dir to highs | 1 年前 |
| rename source dir to highs | 1 年前 |
| Allow FJ to use an incumbent | 1 年前 |
| rename source dir to highs | 1 年前 |
| Move functional header inclusion | 11 个月前 |
| Merged hmw-mt into this branch and cleared conflicts | 4 个月前 |
| Merge branch 'latest' into hmw-mt | 6 个月前 |
| rename source dir to highs | 1 年前 |
| rename source dir to highs | 1 年前 |
| Pass pseudocost to resolveDepth so conflict score can increase for workers | 3 个月前 |
| Pass pseudocost to resolveDepth so conflict score can increase for workers | 3 个月前 |
| Re-enable heuristics for root node. DIsable for rest of ramp-up | 3 个月前 |
| Simplify heuristic budget. Increase max workers | 3 个月前 |
| Update information line on threads + workers | 3 个月前 |
| Make many things in HighsMipWorker private | 5 个月前 |
| Make many things in HighsMipWorker private | 5 个月前 |
| Make many things in HighsMipWorker private | 5 个月前 |
| Add col integrality helpers | 10 个月前 |
| Still to refactor Implbound and Clique separation clocks | 1 年前 |
| Use static_cast | 5 个月前 |
| Fix type mismatch and use std::move | 5 个月前 |
| Use new utilities to determine column type | 9 个月前 |
| rename source dir to highs | 1 年前 |
| Merge latest into branch | 7 个月前 |
| Still to refactor Implbound and Clique separation clocks | 1 年前 |
| Fixes from franzs comments | 4 个月前 |
| Randomise heuristic allowance for workers | 6 个月前 |
| Make clang happy | 4 个月前 |
| Make clang happy | 4 个月前 |
| Pass pseudocost to resolveDepth so conflict score can increase for workers | 3 个月前 |
| Make clang formatter happy | 3 个月前 |
| Pass pseudocost to resolveDepth so conflict score can increase for workers | 3 个月前 |
| Clean up search.flushstatistics | 4 个月前 |
| Pass pseudocost to resolveDepth so conflict score can increase for workers | 3 个月前 |
| Tidy up separators | 8 个月前 |
| HighsMipAnalysis now redundant | 5 个月前 |
| Add subsolve timing | 1 年前 |
| Merge latest into branch | 4 个月前 |
| Still to refactor Implbound and Clique separation clocks | 1 年前 |
| Make globaldom const in translp | 7 个月前 |
| Make globaldom const in translp | 7 个月前 |
| All unit tests pass: try CI | 5 个月前 |
| Typos found by VS spell checker | 9 个月前 |