英语 ⇄ 俄语 +

finite domain constraint solver library 强调
编程	библиотека для решения задач удовлетворения ограничений над конечными областями (Alex_Odeychuk)