1

Python で実装された Z3 SMT ソルバーを使用しています。私はソース コードを持っています。プロセスが実行中であることを示す何らかの兆候が欲しいのです。詳細なコマンドなどを使用して、プロセスが現在何をしているかを把握することはできますか? その背後にあるアルゴリズムは知っていますが、printf を使用しても、コードで何が起こっているかを視覚化したいと考えています。

ありがとう！

4

1 に答える 1