This repo contains code for the Q2 2025/2026 Computer Science research project at TU Delft.
The research project involves a comparisson and evaluation of various modeling-and-solving paradigms.
Some of the code in this repo is the collaborative work of multiple people, including Lesley Smits, Robin Rietdijk, Tom Friederich, Sophieke van Luenen and Sappho de Nooij. Notably, the generator and the solution checker. For the collaborative part, please see this repo. All code is licensed under MIT.