EXACT: no bf solution found (use GLPK.factorize)

[blegat]

The following code,

using GLPK
optimizer = GLPK.Optimizer(method=GLPK.EXACT)
using MathOptInterface
const MOI = MathOptInterface
λ = MOI.add_variables(optimizer, 2)
l = MOI.SingleVariable.(λ)
MOI.add_constraint(optimizer, 1.0l[1] + 1.0l[2], MOI.EqualTo(1.0))
MOI.add_constraint(optimizer, -1.0l[1], MOI.EqualTo(-1.0))
MOI.add_constraint(optimizer, l[2], MOI.EqualTo(1.0))
MOI.optimize!(optimizer)

throws the error

ERROR: LoadError: GLPKError("no bf solution found (use GLPK.factorize)")
Stacktrace:
 [1] _bf_exists at /home/blegat/.julia/packages/GLPK/3DCgA/src/GLPK_checks.jl:271 [inlined]
 [2] macro expansion at /home/blegat/.julia/packages/GLPK/3DCgA/src/GLPK_checks.jl:53 [inlined]
 [3] get_bhead(::Prob, ::Int64) at /home/blegat/.julia/packages/GLPK/3DCgA/src/GLPK.jl:1619
 [4] get_infeasibility_ray(::GLPK.Optimizer, ::Array{Float64,1}) at /home/blegat/.julia/packages/GLPK/3DCgA/src/infeasibility_certificates.jl:49
 [5] optimize!(::GLPK.Optimizer) at /home/blegat/.julia/packages/GLPK/3DCgA/src/MOI_wrapper.jl:1334

See JuliaReach/LazySets.jl#1668

[schillic]

Thanks to both of you!