Hi! I am Maarten, a PhD student at TU Delft. I work on anything to do with Constraint Programming solvers: The theory for the algorithms and data structures, the software design, and the certified correctness of these solvers. As part of my PhD, I am one of the main contributors to the Constraint Programming solver Pumpkin. Our aim is for Pumpkin to be a constraint programming library that is flexible for research while being competitive with more mature solvers. It is written in the Rust progra