Explore projects

Migration from gitlab to gitlab2

Project 2 for SAT Solver course LMU WS2023/2024

SFEEBoT

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.