SMT-Solving
Projektseminar im Sommersemester 2019
Eintrag für diese Veranstaltung im HIS/LSF
Inhalt
Das SMT-Problem ist eine Erweiterung des SAT-Problems (Erfüllbarkeit boolescher Formeln), bei der anstelle boolescher Variablen Formeln aus weiteren Theorien wie bespielsweise der Ganzzahlarithmetik untersucht werden. Ziel dieses Projektseminars ist die Implementierung eines SMT-Solvers, der diverse Theorien unterstützt.