Thanks for your response.

Yes, I use JUMP.

My problem is to use the package Juniper or other that solve MINLP. Do you have other suggestion and help me how to use in JUMP?

The complete message erros is the following, when I complile the code:

using JuMP

using Juniper

using Ipopt

using Cbc

solver = JuniperSolver(IpoptSolver(print_level=0);

mip_solver=CbcSolver())

m = Model(solver=solver)

v = [10,20,12,23,42]

w = [12,45,12,22,21]

@variable(m, x[1:5], Bin)

@objective(m, Max, dot(v,x))

@NLconstraint(m, sum(w[i]*x[i]^2 for i=1:5) <= 45)

status = solve(m)

## Complete error message:

UndefVarError: base not defined

round at Compat.jl:1625 [inlined]

are_type_correct(::Array{Float64,1}, ::Array{Symbol,1}, ::Array{Int64,1}, ::Float64) at bb_type_correct.jl:22

fpump(::Juniper.JuniperModel) at fpump.jl:235

optimize!(::Juniper.JuniperModel) at model.jl:135

#solvenlp#165(::Bool, ::Function, ::JuMP.Model, ::JuMP.ProblemTraits) at nlp.jl:1271

(::JuMP.#kw##solvenlp)(::Array{Any,1}, ::JuMP.#solvenlp, ::JuMP.Model, ::JuMP.ProblemTraits) at :0

#solve#116(::Bool, ::Bool, ::Bool, ::Array{Any,1}, ::Function, ::JuMP.Model) at solvers.jl:172

solve(::JuMP.Model) at solvers.jl:150

include_string(::String, ::String) at loading.jl:522

include_string(::String, ::String, ::Int64) at eval.jl:30

include_string(::Module, ::String, ::String, ::Int64, ::Vararg{Int64,N} where N) at eval.jl:34

(::Atom.##102#107{String,Int64,String})() at eval.jl:82

withpath(::Atom.##102#107{String,Int64,String}, ::String) at utils.jl:30

withpath(::Function, ::String) at eval.jl:38

hideprompt(::Atom.##101#106{String,Int64,String}) at repl.jl:67

macro expansion at eval.jl:80 [inlined]

(::Atom.##100#105{Dict{String,Any}})() at task.jl:80