Feature Description

It would be good for developers to be able to visualize constraint graphs for intuition and debugging purposes. This can be done by allowing the constraint graph to describe its structure in the form of a DOT program, which can then be visualized using GraphViz.

Possible Implementation

The idea is to use a Rust crate that allows us to take any constraint graph and convert its edges and nodes into a GraphViz Digraph in the DOT DSL which can then be used to generate a diagram using any DOT-compatible CLI/UI tool.

Have you spent some time checking if this feature request has been raised before?

• I checked and didn't find a similar issue

Have you read the Contributing Guidelines?

• I have read the Contributing Guidelines

Are you willing to submit a PR?

Yes, I am willing to submit a PR!