решатель задач выполнимости формул в теориях (решает задачи выполнимости формул с учётом комбинации лежащих в их основе теорий

galois.com Alex_Odeychuk)

satisfiability modulo theories solver