I am working on interrelationships between planar and Hamiltonian graphs and for the purpose I need planar graphs for inspection. Since their number grows asymptotically, I cannot approach it manually.
I have searched a lot but could not find any helpful resource(probably because it does not exist). If I have such tool, it would greatly simplify my work and allow me to focus on the actual job rather than drawing the graphs(which is of course impossible if I am working on say 15 vertices).
Please help me out and suggest some software/library which can either directly or indirectly be of use.[It would be an added benefit if the software allows me to check for Hamiltonian-ness of graphs, though it is not my prime concern.]
Thanks!