Reduction graph
Graph
Formula
Set
Algebraic
Misc
Variant Cast
Click a node to start path selection
Click a problem node to expand/collapse its variants.
Click a variant to filter its edges.
Click two nodes to find a reduction path.
Double-click for API docs (nodes) or source code (edges).
Scroll to zoom, drag to pan.
You can also explore this graph from the terminal with the CLI tool. For theoretical background and correctness proofs, see the PDF manual.
For exact variants and structured output, use CLI path queries.