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

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