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

finite domain constraint solver library מתח
.תִכנו	библиотека для решения задач удовлетворения ограничений над конечными областями (Alex_Odeychuk)