PlanarTester is a GUI-based tool designed to enable users to create graphs and assess their planarity.
Requirements:
- java-17-openjdk (rpm)
- openjdk-17-jdk (deb)
Download the latest release (.jar file) from this project.
Execute the file with java -jar PlanarTester.jar
.
What? | How? |
---|---|
Add Node | Left click on free space |
Add Edge | Left click on Node 1 → Left click on Node 2 |
Delete Node | Hover over Node and press x on keyboard |
Delete Edge | Hover over Edge and press x on the keyboard |
Move field of view | Hold right click and move |
Move Node | Right click on Node, hold and move |
Check for planarity | MenuBar → Check for planarity |
Load Example | MenuBar → Load Examples |
New graph | MenuBar → Load Examples → Load new empty graph |