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

automatic constraint synthesis
.מכשיר	自动约束综合