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

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