SMT-Löser SMTRAT gewinnt Preis bei der SMT-COMP 2018
30.07.2018
Der SMT-Löser SMTRAT, welcher vom Lehr- und Forschungsgebiet „Theorie Hybrider Systeme“ entwickelt wurde, hat den ersten Platz im Main Track in der Abteilung QF_NIRA der 13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018) belegt.