Minor fixes

This commit is contained in:
2024-02-06 16:21:04 -06:00
parent 25fc39a2b7
commit 42466936a3

View File

@@ -344,10 +344,10 @@ function _optimize(model::JuMP.Model)
end end
# Optimize # Optimize
ext.where = :WHERE_DEFAULT
optimize!(model) optimize!(model)
# Cleanup # Cleanup
ext.where = :WHERE_DEFAULT
ext.cb_data = nothing ext.cb_data = nothing
flush(stdout) flush(stdout)
Libc.flush_cstdio() Libc.flush_cstdio()
@@ -446,13 +446,13 @@ function __init_solvers_jump__()
self.inner.ext[:miplearn].aot_cuts = cuts self.inner.ext[:miplearn].aot_cuts = cuts
end end
function lazy_enforce(self, model, violations) function lazy_enforce(self, violations)
self.inner.ext[:miplearn].lazy_enforce(violations) self.inner.ext[:miplearn].lazy_enforce(violations)
end end
function _lazy_enforce_collected(self) function _lazy_enforce_collected(self)
ext = self.inner.ext[:miplearn] ext = self.inner.ext[:miplearn]
if ext.lazy_enforce !== nothing if ext.lazy !== nothing
ext.lazy_enforce(ext.lazy) ext.lazy_enforce(ext.lazy)
end end
end end