Usage instructions
- To add nodes: move mouse pointer to where you want to add a node and press a letter or number on the keyboard
- To add edges: click on an unselected node to connect it to all selected nodes
- To select a node or an edge: click or shift click to select several
- To delete nodes: hit backspace to delete all selected nodes and corresponding edges
- To negate nodes: right click selected or single node