Can't get MINLP to work with nonlinear constraints

[anon]

So I'm trying to run the code

using JuMP

using AmplNLWriter

model = Model(solver=CouenneNLSolver())

@variable(model, t)

@variable(model, -2 <= n <= 1, Int)

@NLconstraint(model, n^4 + n^3 - 2n^2 + 1 <= t)

@objective(model, Min, t)

solve(model, suppress_warnings=true)

println(getvalue(n))

but I get the error:

Error: LoadError: AssertionError: c.head == :comparison

How do I MINLP with nonlinear constraints?

[Miles Lubin]

Could you paste the output of versioninfo() and Pkg.status()?

[anon]

Julia Version 0.5.0

Commit 3c9d753 (2016-09-19 18:14 UTC)

Platform Info:

  System: Darwin (x86_64-apple-darwin13.4.0)

  CPU: Intel(R) Core(TM) i5-3210M CPU @ 2.50GHz

  WORD_SIZE: 64

  BLAS: libopenblas (USE64BITINT DYNAMIC_ARCH NO_AFFINITY Sandybridge)

  LAPACK: libopenblas64_

  LIBM: libopenlibm

  LLVM: libLLVM-3.7.1 (ORCJIT, ivybridge)

8 required packages:

 - AmplNLWriter                  0.2.1

 - BARON                         0.1.1

 - Cbc                           0.2.0

 - CoinOptServices               0.1.0

 - JuMP                          0.13.1

 - KNITRO                        0.1.0

 - NLopt                         0.3.1

 - SCS                           0.2.1

17 additional packages:

 - BinDeps                       0.4.5

 - Calculus                      0.1.15

 - Clp                           0.2.0

 - Compat                        0.9.3

 - DataStructures                0.4.6

 - ForwardDiff                   0.1.8

 - Homebrew                      0.4.0

 - Ipopt                         0.2.1

 - JSON                          0.8.0

 - Lazy                          0.11.4

 - LightXML                      0.4.0

 - MacroTools                    0.3.2

 - MathProgBase                  0.4.3

 - NaNMath                       0.2.2

 - ReverseDiffSparse             0.5.6

 - SHA                           0.2.1

 - URIParser                     0.1.6

[Miles Lubin]

This issue was fixed in August (prior to the Julia 0.5 release). You should run Pkg.update()

[anon]

I just ran Pkg.update() and it said there was nothing to update

[anon]

So I went back to Julia 4.7 and now it works, so it appears to be a compatibility problem with Julia 5.0.

[Miles Lubin]

AmplNLWriter. The current release is 0.2.2 (soon 0.2.3).

On Tue, Nov 8, 2016 at 9:13 AM, anon <esp...@gmail.com> wrote:

What package were you hoping it would update?

--
You received this message because you are subscribed to the Google Groups "julia-opt" group.
To unsubscribe from this group and stop receiving emails from it, send an email to julia-opt+unsubscribe@googlegroups.com.
Visit this group at https://groups.google.com/group/julia-opt.
For more options, visit https://groups.google.com/d/optout.

[anon]

It looks like for w/e reason Julia 0.5 can't find version 2.2.

To unsubscribe from this group and stop receiving emails from it, send an email to julia-opt+...@googlegroups.com.

[Changhyun Kwon]

JuMP requires       MathProgBase 0.5.1 0.6

BARON requires MathProgBase 0.4

AmPLWriter requires MathProgBase 0.5 0.6

When I tried to install BARON.jl in my system, it could not find a feasible version of MathProgBase.

I thinks the same issue affects updating AmplNLWriter to 0.2.2.

By the way, MathProgBase 0.4 means it requires 0.4 or higher, doesn’t it?

--

[Miles Lubin]

I don't see a version conflict there. You're correct that baron is only asking for 0.4 or higher.

To unsubscribe from this group and stop receiving emails from it, send an email to julia-opt+unsubscribe@googlegroups.com.

Visit this group at https://groups.google.com/group/julia-opt.
For more options, visit https://groups.google.com/d/optout.

--

--
You received this message because you are subscribed to the Google Groups "julia-opt" group.

To unsubscribe from this group and stop receiving emails from it, send an email to julia-opt+unsubscribe@googlegroups.com.

[Changhyun Kwon]

I just found BARON.jl has this in its latest release:

MathProgBase 0.4 0.5

https://github.com/joehuchette/BARON.jl/commit/2c8319c512c1123a39ffcacf2bf14f2a9cc30670

julia> Pkg.add("BARON")

ERROR: unsatisfiable package requirements detected: no feasible version could be found for package: MathProgBase

 in resolve(::Dict{String,Base.Pkg.Types.VersionSet}, ::Dict{String,Dict{VersionNumber,Base.Pkg.Types.Available}}) at ./pkg/resolve.jl:37

 in resolve(::Dict{String,Base.Pkg.Types.VersionSet}, ::Dict{String,Dict{VersionNumber,Base.Pkg.Types.Available}}, ::Dict{String,Tuple{VersionNumber,Bool}}, ::Dict{String,Base.Pkg.Types.Fixed}, ::Dict{String,VersionNumber}, ::Set{String}) at ./pkg/entry.jl:495

 in resolve(::Dict{String,Base.Pkg.Types.VersionSet}, ::Dict{String,Dict{VersionNumber,Base.Pkg.Types.Available}}, ::Dict{String,Tuple{VersionNumber,Bool}}, ::Dict{String,Base.Pkg.Types.Fixed}) at ./pkg/entry.jl:476

 in edit(::Function, ::String, ::Base.Pkg.Types.VersionSet, ::Vararg{Base.Pkg.Types.VersionSet,N}) at ./pkg/entry.jl:30

 in (::Base.Pkg.Entry.##2#5{String,Base.Pkg.Types.VersionSet})() at ./task.jl:360

 in sync_end() at ./task.jl:311

 in macro expansion at ./task.jl:327 [inlined]

 in add(::String, ::Base.Pkg.Types.VersionSet) at ./pkg/entry.jl:51

 in (::Base.Pkg.Dir.##2#3{Array{Any,1},Base.Pkg.Entry.#add,Tuple{String}})() at ./pkg/dir.jl:31

 in cd(::Base.Pkg.Dir.##2#3{Array{Any,1},Base.Pkg.Entry.#add,Tuple{String}}, ::String) at ./file.jl:59

 in #cd#1(::Array{Any,1}, ::Function, ::Function, ::String, ::Vararg{Any,N}) at ./pkg/dir.jl:31

 in add(::String) at ./pkg/pkg.jl:100

julia> Pkg.installed("MathProgBase")

v"0.5.7"

[Joey Huchette]

No reason not to bump a new version of BARON, then (https://github.com/JuliaLang/METADATA.jl/pull/6980).

-Joey