Anglais ⇄ Russe +

development support tool contraintes
logic.	инструментальное средство поддержки разработки (программного обеспечения; корпорации AdaCore Alex_Odeychuk)