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

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