Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Fabian Lukas Grubmüller / Tents-Solver
GNU General Public License v3.0 onlySolver for Tents puzzles implemented as part of the lecture SAT Solving in the winter term 2020/21
Updated -
Ahmad Ghanem / MyThesis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Dinghao Shi / MyThesis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Kai Naumann / dark_mode_isabelle
BSD 3-Clause "New" or "Revised" LicenseUpdated -
UpdatedUpdated
-
-
Updated
-
-
-
Updated
-