Files for my bachelor thesis about book embeddings. The thesis itself and the program to generate the SAT clauses for the 3 matching case.