您即将离开腾讯云开发者社区,请注意您的账号财产安全
http://research.microsoft.com/en-us/um/redmond/projects/z3/smt__command.html#smt2_next_sat_example
继续访问