trinity_scip_test

trinity_scip_test, a BASH code which calls scip(), to read the LP file defining the trinity tiling problem, solve the linear programming problem, and write the solution to a file.

Licensing:

The computer code and data files made available on this web page are distributed under the MIT license

Related Data and Programs:

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

trinity, a MATLAB code which considers the trinity puzzle, a smaller version of the eternity puzzle. The trinity puzzle specifies a region R composed of 144 30-60-90 triangles, and a set of 4 "tiles", T1, T2, T3 and T4, each consisting of 36 30-60-90 triangles, and seeks an arrangement of the four tiles that exactly covers the region.

trinity_cplex_test a BASH code which calls cplex(), to read the LP file defining the trinity tiling problem, solve the linear programming problem, and write the solution to a file.

trinity_gurobi_test a BASH code which calls gurobi(), to read the LP file defining the trinity tiling problem, solve the linear programming problem, and write the solution to a file.

Source Code:

• trinity_scip_test.sh, calls on scip() to solve the trinity problem.
• trinity_input.txt, commands to scip().
• trinity_output.txt, output from scip().
• trinity.lp, defines the problem.
• trinity.sol, the solution.