3. Examples

The examples/ folder contains the source code for the examples, along with two .dimacs files with example graphs.

3.1. Basic Library Usage

• 3.1.1. Computing the Canonical Form
• 3.1.2. Deciding Graph Ismorphism and Total Ordering of Graphs
• 3.1.3. Finding the Automorphism Group
• 3.1.4. Investigating the Details of an Algorithm Configuration
• 3.1.5. Vertex Labelled Graphs