Übung SMT-LIB

• einige Beispiele aus SMT-LIB mit Z3 lösen
• Beispiele aus SMT-LIB verstehen (warum modelliert die Formel das Anwendungsproblem?)
• selbst ein Anwendungsproblem in SMT-LIB-Sprache modellieren