Oscar Dowson

Still not reproducible unfortunately: ```Julia julia> using Cbc: Cbc julia> using JuMP: JuMP, @constraint, @objective, @variable julia> model = JuMP.Model(Cbc.Optimizer) A JuMP Model Feasibility problem with: Variables: 0 Model mode:...

What is the full error message?

Can you save this to a file called `bug.mps` ``` NAME ROWS N OBJ E c1 E c2 E c3 E c4 COLUMNS MARKER 'MARKER' 'INTORG' x[1] OBJ -1 x[2]...

I don't know then. It's pretty much impossible to debug if we can't reproduce. Can you simplify the problem any future? What is `] st -m`?

We have the same exact set of packages, including binary dependencies, so it looks like this is specific to your AMD processor. I'd just move on to Gurobi.

> Are you aware of any other open-source solvers that support indicator constraints? No. Note that Cbc also doesn't support indicator constraints, but it does support SOS constraints. We use...

I've reproduced the failure here: https://github.com/jump-dev/Cbc.jl/pull/191 But it is specific to Windows and Linux (but not macOS). I don't have any suggested work-arounds.

> Does MutableArithmetics not work for general functions, only for the standard arithmetic operations (+,-,/,*)? Correct the `@rewrite` macro works only for a limited subset of the standard arithmetic operations.

The macro is defined here (x-ref https://github.com/jump-dev/MutableArithmetics.jl/pull/254): https://github.com/jump-dev/MutableArithmetics.jl/blob/0b3f7d14c3326d5e7721fc41738254e2a93c05bc/src/rewrite.jl#L7-L29 It isn't very complicated. Here's the actual rewrites: https://github.com/jump-dev/MutableArithmetics.jl/blob/0b3f7d14c3326d5e7721fc41738254e2a93c05bc/src/rewrite_generic.jl#L58-L218 I don't know if we want to add a generalized rewrite. The main...

We'd just need to be very careful to ensure that the new rewrite doesn't break JuMP's nonlinear code.