vitri
Paste a DIMACS CNF, open or drop a file, or pick an example.
vitri simplifies the formula and builds a vtree for it; the reduced formula,
the tree and the record that recovers the original count come back as the
files vitri --out-dir writes. Everything runs in this tab and
nothing is uploaded. vitri is also a
Rust crate with a command-line
tool; its bundle
reference describes every file.
Input
Try an example
Result
This result is for an earlier input or earlier settings.Press Prepare.
Save
Drag to pan, scroll to zoom, click a node to select it, double-click to collapse or expand it. With the drawing focused: arrow keys move the selection (up to the parent, down to a child, left and right between siblings), Enter collapses or expands, * expands everything below, + and - zoom, 0 fits.