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

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