您即将离开知乎,请注意您的帐号和财产安全。
https://orinanobworld.blogspot.de/2012/08/user-cuts-versus-lazy-constraints.html