0

I know we can use CPLEX in Julia JuMP, for linear programming for instance. But can we use CPLEX in JuMP, Julia v1.1 for constraint programming ?

CPLEX and OPL can do constraint programming, but what about Julia, are there documentation pages in JuMP linked to that or is it planned to be developped in near future for Julia ?

Improve this question
1
  • 1
    Mathematical optimization and Constraint Programming are very very different branches and seeing all the software already developed around JuMP and also the research area of the people behind it (MathOpt), i would guess CP will never be a part of it. Commented Feb 10, 2019 at 1:09

1 Answer 1

Reset to default
2

According to the documentation at http://www.juliaopt.org/JuMP.jl/0.18/installation.html#getting-solvers JUMP CPLEX support includes:

  • Linear programming
  • Second-order conic programming (including problems with convex quadratic constraints and/or objective)
  • Mixed-integer linear programming
Improve this answer
Sign up to request clarification or add additional context in comments.

3 Comments

Will constraint programming be implemented in JuMP in near future ?
This looks like a good idea to raise issue at JuMP Github. I see two options: (1) try IntervalConstraintProgramming.jl and (2) for some problem settings you could try to use JuMP Lazy Constraints to iterate over the feasible set - they are nicely described in docs and should work with CPLEX (note to others - currently lazy constraints with the GLPK solver are buggy).
For everyone interested in it now: There is github.com/dourouc05/JuCP.jl and I currently build a solver from scratch: github.com/Wikunia/ConstraintSolver.jl For the latter you probably have to wait a couple of years for it to be useful ;)

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.