英语 ⇄ 俄语 +

constraint simplifier 强调
人工智能	механизм упрощения ограничений (при логическом программировании в ограничениях Alex_Odeychuk)