SMT-RAT gewinnt ersten Platz

30.07.2018
Urkunde SMTRAT Urheberrecht: UnRAVeL

Der in der Forschergruppe "Theorie Hybrider Systeme" von Prof. Ábrahám entwicklte SMT Solver "SMT-RAT" gewinnt den ersten Platz im "Main Track in the division QF_NIRA" im Rahmen des 13t. International Satisfiability Modulo Theories Competition 2018. Herzlichen Glückwunsch!