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

решатель задач удовлетворения ограничений для дискретных данных מתח
.בינה	finite domain constraint solver (Alex_Odeychuk)