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

automatic theorem prover for satisfiability modulo theories problems מתח
.בינה	автоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk)