I have descriptions (models) of many packing puzzles, stored as text files in a custom format. There is Pascal code to read/write this format, and to operate on these puzzles. In particular, there is code to analyze such puzzles and to generate C source code for dedicated efficient solvers.
The goal of this graduation project is to develop MDSE-based tools to define, analyze, and solve packing puzzles.
It is useful to look at:
Expected interests and skills: familiarity with MDSE concepts and tools; familiarity with backtracking.
Graduation period: 6 months
Graduation supervisor: dr. T. Verhoeff (T.Verhoeff@tue.nl, +31-40-247-4125)