This is the source code documentation for dejavu 2.0. It contains detailed descriptions for all classes and methods. If you are looking for a guide to get started, please instead refer to our get started guide on our main page.

Interesting Pages

Below, we list some potentially interesting pages useful when exploring dejavu.

solver: the dejavu solver, used to compute automorphisms of a graph
static_graph: the graph interface
refinement: the color refinement algorithm
orbit: can be used to compute orbits
hooks: hooks are used to interact with the computed symmetries

Bug Reports & Feedback

If you come across any bugs or have any feedback to share, please feel free to reach out to me at markus (at) automorphisms.org.