usage: cnf3d2 <cnf-file> When the graphics display appears (and has the focus) the following commands may be used: 'n': display next (finer) graph 'e': toggle edge display 'a': toggle node size adjustment '2': toggle 2-clauses (only for graph with L=0) 'g': go; compute all graphs down to level L=0 'r': reset display (zoom, orientation,...) You can use the mouse to - rotate (with the left mouse button pressed) - zoom (with the middle mouse button pressed) - drag (with the right mouse button pressed) (C) Carsten Sinz, JKU Linz, 2006