Skip to content

Latest commit

 

History

History
125 lines (98 loc) · 4.94 KB

README.md

File metadata and controls

125 lines (98 loc) · 4.94 KB
Raw

CPLEXCP.jl

CPLEXCP.jl is a wrapper for the IBM® ILOG® CPLEX® CP Optimizer.

You cannot use CPLEXCP.jl without having purchased and installed a copy of CPLEX Optimization Studio from IBM. However, CPLEX is available for free to academics and students.

CPLEXCP.jl has two components:

The Java API can be accessed via CPLEXCP.cpo_java_xxx functions, where the names and arguments are built from the Java API. See the CPLEX documentation for details.

Note: This wrapper is maintained by the community and is not officially supported by IBM. If you are a commercial customer interested in official support for CPLEX CP Optimizer in Julia, let them know!

Installation

Minimum version requirement: CPLEXCP.jl requires CPLEX version 20.1. Other versions may work, but are not tested. Versions 12.9 and 12.10 are automatically detected, though.

First, obtain a license of CPLEX and install CPLEX CP optimizer, following the instructions on IBM's website. Then, set the CPLEX_STUDIO_DIR environment variable as appropriate and run Pkg.add("CPLEXCP"), then Pkg.build("CPLEXCP"). For example:

# On Windows, this might be
ENV["CPLEX_STUDIO_DIR"] = "C:\\Program Files\\CPLEX_Studio1210\\"
import Pkg
Pkg.add("CPLEXCP")
Pkg.build("CPLEXCP")

# On macOS, this might be
ENV["CPLEX_STUDIO_DIR"] = "/Applications/CPLEX_Studio1210/"
import Pkg
Pkg.add("CPLEXCP")
Pkg.build("CPLEXCP")

# On Unix, this might be
ENV["CPLEX_STUDIO_DIR"] = "/opt/CPLEX_Studio1210/"
import Pkg
Pkg.add("CPLEXCP")
Pkg.build("CPLEXCP")

Note: your path may differ. Check which folder you installed CPLEX in, and update the path accordingly.

Example with MOI

Here is an example of use of CPLEXCP.jl through MOI and CP:

using MathOptInterface
using ConstraintProgrammingExtensions
using CPLEXCP

const MOI = MathOptInterface
const CP = ConstraintProgrammingExtensions

model = CPLEXCP.Optimizer()

# Create the variables: six countriers; the value is the colour number for each country
belgium, _ = MOI.add_constrained_variable(model, MOI.Integer())
denmark, _ = MOI.add_constrained_variable(model, MOI.Integer())
france, _ = MOI.add_constrained_variable(model, MOI.Integer())
germany, _ = MOI.add_constrained_variable(model, MOI.Integer())
luxembourg, _ = MOI.add_constrained_variable(model, MOI.Integer())
netherlands, _ = MOI.add_constrained_variable(model, MOI.Integer())

# Constrain the colours to be in {0, 1, 2, 3}
MOI.add_constraint(model, belgium, MOI.Interval(0, 3))
MOI.add_constraint(model, denmark, MOI.Interval(0, 3))
MOI.add_constraint(model, france, MOI.Interval(0, 3))
MOI.add_constraint(model, germany, MOI.Interval(0, 3))
MOI.add_constraint(model, luxembourg, MOI.Interval(0, 3))
MOI.add_constraint(model, netherlands, MOI.Interval(0, 3))

# Two adjacent countries must have different colours.
countries(c1, c2) = MOI.ScalarAffineFunction(MOI.ScalarAffineTerm.([1, -1], [c1, c2]), 0)
MOI.add_constraint(model, countries(belgium, france), CP.DifferentFrom(0))
MOI.add_constraint(model, countries(belgium, germany), CP.DifferentFrom(0))
MOI.add_constraint(model, countries(belgium, netherlands), CP.DifferentFrom(0))
MOI.add_constraint(model, countries(belgium, luxembourg), CP.DifferentFrom(0))
MOI.add_constraint(model, countries(denmark, germany), CP.DifferentFrom(0))
MOI.add_constraint(model, countries(france, germany), CP.DifferentFrom(0))
MOI.add_constraint(model, countries(france, luxembourg), CP.DifferentFrom(0))
MOI.add_constraint(model, countries(germany, luxembourg), CP.DifferentFrom(0))
MOI.add_constraint(model, countries(germany, netherlands), CP.DifferentFrom(0))

# Solve the model.
MOI.optimize!(model)

# Check if the solution is optimum.
@assert MOI.get(model, MOI.TerminationStatus()) == MOI.OPTIMAL

# Get the solution
@show MOI.get(model, MOI.VariablePrimal(), belgium)
@show MOI.get(model, MOI.VariablePrimal(), denmark)
@show MOI.get(model, MOI.VariablePrimal(), france)
@show MOI.get(model, MOI.VariablePrimal(), germany)
@show MOI.get(model, MOI.VariablePrimal(), luxembourg)
@show MOI.get(model, MOI.VariablePrimal(), netherlands)

Use with JuMP

We highly recommend that you use the CPLEXCP.jl package with higher level packages such as JuMP.jl. However, for now, JuMP hasn't caught up with MOI 0.10; you will not be able to use JuMP with the latest version of CPLEXCP.jl.

This can be done using a CPLEXCP.Optimizer object. Here is how to create a JuMP model that uses Chuffed as solver.

using JuMP, CPLEXCP

model = Model(CPLEXCP.Optimizer)