SMT-RAT won the first place
30/07/2018
Copyright: © UnRAVeL
The SMT solver SMT-RAT developed in the LuFG Theory of Hybrid Systems won the first place in the Main Track in the division QF_NIRA in the 13th International Satisfiability Modulo Theories Competition 2018. Congratulations!