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

satisfiability modulo theories solver מתח
.הִגָי	решатель задач выполнимости формул в теориях (решает задачи выполнимости формул с учётом комбинации лежащих в их основе теорий galois.com Alex_Odeychuk)