Here is a list of all related documentation pages:

[detail level 123]

Installation guidelines	Describes how to install and link idol to your project
Examples	Describes a collection of examples to get started with idol
Bilevel optimization	Describes a collection of examples related to bilevel optimization
kleinert-kkt	Models a simple bilevel optimization problem with linear lower level and solves it with through KKT single-reformulation conditions with Gurobi and SOS1 constraints
moore-bard-mibs	Models the well-known Moore and Bard (1990) example of a mixed-integer bilevel problem and solves it with the external solver MibS
zeng-pess	Models a pessimistic bilevel problem taken from Zeng (2025) and solves it via the KKT single-level reformulation of its optimistic equivalent reformulation
Mixed-integer optimization	Describes a collection of examples related to mixed-integer optimization
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
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
tsp-gurobi	Solves the traveling salesman problem using a callback for separating sub-tour elimination constraints
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
gap-bap	Solves the generalized assignment problem with idol's branch-and-price algorithm on its Dantzig-Wolfe reformulation
bin-bap	Solves the bin packing problem with idol's branch-and-price algorithm and extracts the active columns in the best-known solution
Robust optimization	Describes a collection of examples related to robust optimization
flp-ccg	Models a two-stage robust capacitated facility location problem with discrete second-stage and solves it with a column-and-constraint algorithm using MibS for solving the separation problem and Gurobi for the master problem
Stables features	Describes the stable features of the library
Mixed-integer optimization	Describes stable features of the library related to mixed-integer optimization
Modeling interface	Can model mixed-integer optimization problems
Interfacing Gurobi	Can solve mixed-integer optimization problems using Gurobi
Interfacing Cplex	Can solve mixed-integer optimization problems using Cplex
Interfacing Cplex via Osi	Can solve mixed-integer optimization problems using Cplex via coin-or/Osi
Interfacing HiGHS	Can solve mixed-integer optimization problems using HiGHS
Interfacing GLPK	Can solve mixed-integer optimization problems using GLPK
Bilevel optimization	Describes stable features of the library related to bilevel optimization
Robust optimization	Describes stable features of the library related to robust optimization
About
Build from source	Describes how to compile and install idol from source
Basics	Describes the basic usage of the idol_cl tool
Input Format
Input Format for Bilevel Problems	Describes the input file format for bilevel problems
Input Format for MILPs	Describes the input file format for MILPs
Input Format for Robust Problems	Describes the input file format for robust problems
Installation	Describes how to install the command line interface idol_cl
Instances	Describes where to find instances in the format used by idol_cl
Troubleshooting	Describes the relevant troubleshooting pages for the idol_cl tool
Cannot find Cplex, GLPK, Gurobi, HiGHS, or any other solver	Describes what to do if an external solver is installed but not detected by idol_cl
Tutorials	Describes the available tutorials for the idol_cl tool
Solving Bilevel Problems via its KKT-Based Single-Level Reformulation	Describes how to solve a bilevel problem with continuous lower level via its KKT-based single-level reformulation
Installation	Describes how to install the C++ library idol
Troubleshooting	Describes the relevant troubleshooting pages for the idol C++ library