אנגלית ⇄ רוסית +

SMT-COMP מתח
.בינה	соревнование решателей задач выполнимости формул в теориях (сокр. от "SMT competition" Alex_Odeychuk)