Quick Start
Symmetry
Symmetries are what this library is all about. Here, we describe some of the basic concepts surrounding symmetries on graphs.
Quick Start - Standalone
A description on how to compile and use dejavu as a standalone program.
Quick Start - C++ API
How to use the C++ API of dejavu.
Preprocessor
A description use the preprocessor of dejavu in conjunction with other solvers.
Orbit Stabilizer
How to deal with orbit stabilizers.
Error & Certification
A description use the preprocessor of dejavu in conjunction with other solvers.
Colors
The meaning of vertex colors, and how to make use of them.