SMT-RAT gewinnt ersten Platz

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!