CV DL Codebase by: Petros Mavridis, Vinzenz Obermaier, Ben Thiele, Theodoros Tsimpoukis
CLIR2526_SeminarProject
Project 2 for SAT Solver course LMU WS2023/2024