擅长:python、mysql、java
<p>你的程序没有问题。我在开头添加了打印版本,在结尾添加了打印语句:</p>
<pre class="lang-py prettyprint-override"><code>import z3
print z3.get_version_string()
NONE = z3.BitVecVal(0, 2)
A = z3.BitVecVal(1, 2)
B = z3.BitVecVal(2, 2)
C = z3.BitVecVal(3, 2)
print NONE, A, B, C
</code></pre>
<p>我得到:</p>
<pre><code>4.8.8
0 1 2 3
</code></pre>
<p>这表明您的安装在某种程度上被破坏了。您最好的选择可能是从头开始重新安装</p>