0
私はMicrosoft z3のプロトタイプを視覚化するために取り組んでいます。 z3やアルゴリズムの実行時間を見積もることができるのだろうか？私が最悪の場合の実行時間を得ることができたとしても、それは素晴らしいだろう。z3の実行時間、またはDPLL（T）アルゴリズムの実行時間を見積もることは可能ですか？最悪の場合でも
また、z3では、各チェックプロセスの実行時間を理論ソルバーで取得する方法はありますか？
お返事ありがとうございます。