SCIP solver presolve

You could try:

set_optimizer_attribute(model, "presolving/maxrounds", 0)

See

However:

SCIP presolve incorrectly returns some MILP and MINLP problems as infeasible

Do you have a reproducible example? This is a correctness bug in SCIP that should be reported and fixed. How do you know it is incorrect?

For the MILP, you can write an MPS file using JuMP.write_to_file(model, "bug.mps"). (The next version of JuMP will have an NL writer, but it isn’t released yet.)

cc @mbesancon