1

Z3 が完全にサポートしている量指定子の削除の種類を見つけることができませんでした。私が持っているのは、一般的には非線形項に対する普遍的に定量化された式です。同等の量指定子のない式を取得したいと思います。Z3でそれは可能ですか？

ありがとう、フリードリヒ

4

1 に答える 1