milad
10/17/2023, 12:04 PMTim Edwards
10/18/2023, 12:03 AMplot pnm
will produce a very nice plot (code written by @Rajit Manohar a long time ago); the syntax is plot pnm _filename_
width
with width
in pixels, and filename
without the ".pnm" extension (e.g., plot pnm my_layout 1000
produces file my_layout.pnm
). Since the PNM format is uncompressed and huge, use convert
(from ImageMagick) to convert it to a PNG file. This works best for large layouts.