CDCLSolver.generateGraph1

implication graph の定義に即した形のグラフを表す DOT 言語のソースを返します。