dzkcool 发表于 2015-6-16 17:47 & Z. Y4 _# ?" q- ? S: W- q作为一个不是很了解SMT的人来大概说一下:' c, h* u8 r0 a) l4 l" [ 6 K' B4 a- k& e 1、最终都是要排序的;