Benoît Legat

I would vote for (b) as it would also resolve a common feature requested from user coming from cvx. In cvx, you can create multiple symmetric matrices or multiples psd...

@odow Yes, exactly, it's a bit odd but if we make it consistent with each set and dimension and with Julia Base broadcasting, it should not be too confusing once...

Yes, this was kind of the old way to specify constrained variables. This is what is used in SumOfSquares and PolyJuMP where you can create containers of polynomials and broadcast...

Not really :( If you just want a hack for it to work for you you can hardcode it to the path to libLLVM on your machine.

@pkofod I just updated it to MOI v1. Could you get a look ?

Bump :)

I think this is used to set solver-specific solver attributes in case the solver is Ipopt

We are checking that NLopt continues to pass MOI tests with [SolverTests] (https://github.com/blegat/SolverTests/blob/29854a4abb14182f099520b32085cef6f08448e9/.travis.yml#L35) before any new release of MOI so it should work fine with JuMP

Yes, now Juniper will accept the indicator constraints but it will pass it to the continuous solver which does not support them. We should filter them out in the IntegralRelaxation...

For systems of polynomials equations, there is an [interface in SemialgebraicSets.jl](https://github.com/JuliaAlgebra/SemialgebraicSets.jl#solving-systems-of-algebraic-equations). Two algorithms currently implement this interface: * Compute Groebner basis, get the multiplication matrices and simultaneously diagonalize them with...