Explore projects
-
Updated
-
Updated
-
-
SAT solvers implemented for the lecture SAT Solving of the winter term 2020/2021 at LMU Munich
Updated -
Es handelt sich hierbei um ein Python Script, dass die einzelnen C-Programme auf dem CPAchecker ausführt und somit testet ob die einzelnen C-Programme Fehler beinhalten usw.
Updated -
-