You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Do more testing for shifted_lp, specficially check the constraints in the reformulated problem
Parallelize the main for loop in obbt
Add more tests to test_lp_enum_solnpool (at least those from test_lp_enum). As part of this, handle the case where duplicate solutions can get returned. The pentagonal pyramid test returns 6 solutions. The issue is that we actually get back 7. The same solution get’s returned twice, once in presolve and once in B&B.
See if the heuristics option can be (re)enabled for lp_enum. This was disabled since Gurobi can produce solutions that are not extreme points during heuristic searches.
See if the algorithms can be updated to allow for subsets of variables to explored for lp_enum and lp_enum_solnpool.
Summary
I'm using this issue to compile outstanding improvements for
contrib.alternative_solutions
not addressed in #3270:contrib.solver
solver_options
argumentsbalas.enumerate_binary_solutions
function into smaller functions that can be testedlp_enum
.lp_enum_solnpool
variables
argument being something other thanNone
inlp_enum.enumerate_linear_solutions
shifted_lp.get_shifted_linear_model
to use thecompile_standard_form
writer fromrepn.plugins.standard_form
balas
andobbt
tests to inherit fromunittest.TestCase
and reduce bare assertions.The text was updated successfully, but these errors were encountered: