CDCLSolver.generateGraph2

implication graph を元に、単位伝播で用いられた節も頂点にしたグラフの DOT 言語のソースを返します。