CDCLSolver.toDOT

implication graph の状態を DOT 言語で出力します。 ファイル名は 1.dot, 2.dot, … のように続きます。