| English | Russian |
| satisfiability modulo theories solver | решатель задач выполнимости формул в теориях (решает задачи выполнимости формул с учётом комбинации лежащих в их основе теорий  galois.com Alex_Odeychuk) |
| English | Russian |
| satisfiability modulo theories solver | решатель задач выполнимости формул в теориях (решает задачи выполнимости формул с учётом комбинации лежащих в их основе теорий galois.com Alex_Odeychuk) |