My final year dissertation, at the University of St Andrews, in Maths and Computer Science.
Dissertation is in the file Report.pdf. The constraint solver is in the directory constraint_solver and the GAP package is the the directory dshp. Data used in the report is located in the folder data and graphs in the directory graphs.