z3 - 線形整数演算における量化記号消去法のツール

Question

Z3以外に、線形整数演算の量化記号消去法を実行する、利用可能な（そしてまだサポートされている）SMTツールはありますか？

ありがとう。

Answer 1

PhilippRümmerのPrincessを試すことができます。量化記号消去法をサポートし、積極的に維持されています。