Skip to content

Latest commit

 

History

History
30 lines (21 loc) · 1.22 KB

README.md

File metadata and controls

30 lines (21 loc) · 1.22 KB

PlanarTester

PlanarTester is a GUI-based tool designed to enable users to create graphs and assess their planarity.

Download and Installation

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.

Usage

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