Explore projects
-
Unity Project for the Bachelor Thesis "What We Leave Behind – Designing an Application for Digital Data Curation to Empower a “Good Death”" by Luise Donat
Updated -
-
-
SAT solvers implemented for the lecture SAT Solving of the winter term 2020/2021 at LMU Munich
Updated -
Updated
-
Solver for Tents puzzles implemented as part of the lecture SAT Solving in the winter term 2020/21
Updated -
-
-