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

решатель-генератор устойчивых моделей מתח
.בינה	answer set solver (Alex_Odeychuk)