z3 - DPLL アルゴリズムがツリーを遡る C++ ファイルとメソッドは何ですか?

Question

現在のブランチで解決策が見つからない場合にアルゴリズムがバックトレースする Z3 の c++ ファイルを見つけようとしています。私はすべてのファイルを調べて、Python ファイルでデバッグ モードを試しましたが、今のところうまくいきません。メソッドに print ステートメントを追加したいだけなので、前のノードに戻って新しいパスを試行するタイミングがわかります。

ありがとう！