`srdatalog.viz.main`¶

Command-line entry for the VS Code extension.

Two subcommands:

python -m srdatalog.viz dump FILE [--entry NAME] [--meta JSON]
python -m srdatalog.viz patch FILE RULE [--var-order a,b,c] [--clause-order 1,0,2] [--delta N]

dump writes JSON (the visualization bundle + source locations) to stdout. patch rewrites FILE in place (or stdout with --stdout).

Module Contents¶

Functions¶

API¶

srdatalog.viz.__main__.main(argv: list[str] | None = None) → int[source]¶