z3 compact的意思是紧凑的、简洁版本的Z3。也就是z3的缩小版。如果您有什么疑问和不解之处，欢迎追问我！亲， 我正在给团队做任务，如果满意就采纳哦，否则我就要被团队踢出去。如果您认可我的答案，请采纳。您的采纳，是我答题的动力，O(∩_∩)O谢谢
就是索尼z3的缩小版，但是配置不变，compact是紧凑的意思，
