cplex

cplex, examples which call cplex(), which solves a variety of optimization problems, including linear programming, mixed integer programming, and quadratic programming.

Related Data and Programs:

scip, examples which call scip(), which is a code which solves mixed integer programming and mixed integer nonlinear programming problems.

Reference:

• https://www.ibm.com/uk-en/analytics/cplex-optimizer

Source code:

• 4x5_solve.sh, calls on cplex to solve the 4x5 problem.
• 4x5_input.txt, commands to cplex.
• 4x5.txt, output from cplex.
• 4x5.lp, defines the 4x5 problem.
• 4x5.sol, the solution, as computed by cplex.

dio2 is a pair of two diophantine equations in three variables.

• dio2_solve.sh, calls on cplex to solve the dio2 problem.
• dio2_input.txt, commands to cplex.
• dio2.txt, output from cplex.
• dio2.lp, defines the dio2 problem.
• dio2.sol, the solution, as computed by cplex.

• reid_solve.sh, calls on cplex to solve the reid problem.
• reid_input.txt, commands to cplex.
• reid.txt, output from cplex.
• reid.lp, defines the reid problem.
• reid.sol, the solution, as computed by cplex.

The trinity problem seeks the configuration of 4 tiles, each of 36 triangles, to cover a 144 triangle region. The "by hand" problem uses an LP file that was assembled by hand.

• trinity_by_hand_solve.sh, calls on cplex to solve the trinity problem.
• trinity_by_hand_input.txt, commands to cplex.
• trinity_by_hand.txt, output from cplex.
• trinity_by_hand.lp, defines the problem.
• trinity_by_hand.sol, the solution, as computed by cplex.

The trinity problem seeks the configuration of 4 tiles, each of 36 triangles, to cover a 144 triangle region. The "automatic" problem uses an LP file that was automatically. It uses a different enumeration of configurations and triangles.

• trinity_automatic_solve.sh, calls on cplex to solve the trinity problem.
• trinity_automatic_input.txt, commands to cplex.
• trinity_automatic.txt, output from cplex.
• trinity_automatic.lp, defines the problem.
• trinity_automatic.sol, the solution, as computed by cplex.