Graph Searching

Back to help contents.

dot Tutorial 1: Creating a new graph

This tutorial gives information about how to create a new graph from scratch. You can skip this section if you only need to work with the ready-made graphs.

dot Tutorial 2: Loading a preexisting graph

This tutorial covers how to load one of the ready-made graphs and gives a brief description of each of them.

dot Tutorial 3: Solving a graph

This tutorial on solving graphs provides instructions on how to use different options to solve a graph.

dot Tutorial 4: Search Options

This tutorial gives a description of the different algorithms and pruning options that can be used.

Valid HTML 4.0 Transitional