擅长:python、mysql、java
<p>这实际上与<code>z3</code>无关,而是直接与<code>pysmt</code>本身有关。很可能<code>pysmt</code>没有及时了解<code>z3</code>的变化。你应该直接在他们的网站上提交一张罚单:<a href="https://github.com/pysmt/pysmt/issues" rel="nofollow noreferrer">https://github.com/pysmt/pysmt/issues</a></p>