idol
A C++ Framework for Optimization
Loading...
Searching...
No Matches
Mixed-integer optimization

Describes a collection of examples related to mixed-integer optimization.

Building and solving simple models

Example name Description
lp-glpk Models a simple linear problem and optimizes it with GLPK. If the is feasible, prints the primal and dual solution. If the model is infeasible, prints a Farkas certificate (dual ray). If the model is unbounded, prints a primal ray.
kp-highs Models a simple binary knapsack problem and optimizes it with HiGHS. If the model is feasible, prints all solutions in the solution pool.
sos1-gurobi Models a simple continuous problem and adds an SOS1 constraint. Then, uses Gurobi to optimize it and print the solution.
sudoku-cplex Models and solves a sudoku using Cplex. Shows how to manipulate multi-dimensional variables.

More advanced features

Example name Description
lp-dual Models a simple LP and generates its dual. Solves the dual problem with HiGHS and prints, for each primal constraint, its associated dual variable with its value.

Branch-and-bound algorithm

Example name Description
flp-bab Models a capacitated facility location problem and solves it with idol's branch-and-bound algorithm. Each node is solved by GLPK. Reduced cost fixing is used.

Branch-and-price algorithm

Example name Description
gap-bap Solves the generalized assignment problem with idol's branch-and-price algorithm on its Dantzig-Wolfe reformulation.