odow
commented
2 years ago This syntax is not valid JuMP:
julia> model = Model()
A JuMP Model
Feasibility problem with:
Variables: 0
Model mode: AUTOMATIC
CachingOptimizer state: NO_OPTIMIZER
Solver name: No optimizer attached.
julia> @variable(model, x[1:10], Bin, false)
ERROR: At REPL[14]:1: `@variable(model, x[1:10], Bin, false)`: Unrecognized positional arguments: (false,). (You may have passed it as a positional argument, or as a keyword value to `variable_type`.)
If you're trying to create a JuMP extension, you need to implement `build_variable`. Read the docstring for more details.
Stacktrace:
[1] error(::String, ::String)
@ Base ./error.jl:42
[2] _macro_error(macroname::Symbol, args::Tuple{Symbol, Expr, Symbol, Bool}, source::LineNumberNode, str::String)
@ JuMP ~/.julia/dev/JuMP/src/macros.jl:1657
[3] (::JuMP.var"#_error#105"{LineNumberNode})(str::String)
@ JuMP ~/.julia/dev/JuMP/src/macros.jl:1968
[4] build_variable(_error::JuMP.var"#_error#105"{LineNumberNode}, info::VariableInfo{Float64, Float64, Float64, Float64}, args::Bool; kwargs::Base.Iterators.Pairs{Union{}, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
@ JuMP ~/.julia/dev/JuMP/src/macros.jl:1556
[5] build_variable(_error::Function, info::VariableInfo{Float64, Float64, Float64, Float64}, args::Bool)
@ JuMP ~/.julia/dev/JuMP/src/macros.jl:1555
[6] (::var"#3#4")(260::Int64)
@ Main ~/.julia/dev/JuMP/src/Containers/macro.jl:309
[7] (::JuMP.Containers.var"#37#38"{var"#3#4"})(I::Tuple{Int64})
@ JuMP.Containers ~/.julia/dev/JuMP/src/Containers/container.jl:72
[8] iterate
@ ./generator.jl:47 [inlined]
[9] collect(itr::Base.Generator{JuMP.Containers.VectorizedProductIterator{Tuple{Base.OneTo{Int64}}}, JuMP.Containers.var"#37#38"{var"#3#4"}})
@ Base ./array.jl:678
[10] map(f::Function, A::JuMP.Containers.VectorizedProductIterator{Tuple{Base.OneTo{Int64}}})
@ Base ./abstractarray.jl:2323
[11] container
@ ~/.julia/dev/JuMP/src/Containers/container.jl:72 [inlined]
[12] container(f::Function, indices::JuMP.Containers.VectorizedProductIterator{Tuple{Base.OneTo{Int64}}})
@ JuMP.Containers ~/.julia/dev/JuMP/src/Containers/container.jl:66
[13] macro expansion
@ ~/.julia/dev/JuMP/src/macros.jl:142 [inlined]
[14] top-level scope
@ REPL[14]:1Please provide a reproducible example.
lassepe
When I provide a custom start value for some of my variables via JuMP, then the solver crashes with segfault and/or double free errors. I can only reproduce for indicator constraints as reported below: