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

constraint simplifier מתח
.בינה	механизм упрощения ограничений (при логическом программировании в ограничениях Alex_Odeychuk)