exportDotGraph

fun exportDotGraph(writer: Writer?)

Output the constraint system as a DOT graph.