SMT-RAT won the first place

30/07/2018
SMTRAT Award 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!

 

External Links