SMT Solver SMTRAT Wins Prize at SMT-COMP 2018

30/07/2018

The SMT solver SMTRAT developed in the Theory of Hybrid Systems group has won the first place in the Main Track in the division QF_NIRA in the 13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018).

 

External Links