/quick_start/ Recent content in Quick Start on dejavu Hugo en /quick_start/vertex_colors/ Mon, 01 Jan 0001 00:00:00 +0000 /quick_start/vertex_colors/ The meaning of vertex colors, and how to make use of them. /quick_start/certification/ Mon, 01 Jan 0001 00:00:00 +0000 /quick_start/certification/ A description use the preprocessor of dejavu in conjunction with other solvers. /quick_start/orbit_stabilizer/ Mon, 01 Jan 0001 00:00:00 +0000 /quick_start/orbit_stabilizer/ How to deal with orbit stabilizers. /quick_start/preprocessor/ Mon, 01 Jan 0001 00:00:00 +0000 /quick_start/preprocessor/ A description use the preprocessor of dejavu in conjunction with other solvers. /quick_start/cpp_api/ Mon, 01 Jan 0001 00:00:00 +0000 /quick_start/cpp_api/ How to use the C++ API of dejavu. /quick_start/standalone/ Mon, 01 Jan 0001 00:00:00 +0000 /quick_start/standalone/ A description on how to compile and use dejavu as a standalone program. /quick_start/symmetry/ Mon, 01 Jan 0001 00:00:00 +0000 /quick_start/symmetry/ Symmetries are what this library is all about. Here, we describe some of the basic concepts surrounding symmetries on graphs.