/ Recent content in Home on dejavu Hugo -- gohugo.io en /graphs_benchmarks/plots_by_size/ Mon, 01 Jan 0001 00:00:00 +0000 /graphs_benchmarks/plots_by_size/ Benchmark plots comparing state-of-the-art solvers to dejavu, as scatter plots by size. /graphs_benchmarks/benchmarks/ Mon, 01 Jan 0001 00:00:00 +0000 /graphs_benchmarks/benchmarks/ Benchmarks comparing state-of-the-art solvers to dejavu. /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. /download/download/ Mon, 01 Jan 0001 00:00:00 +0000 /download/download/ All downloads available on this page. /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. /graphs_benchmarks/graphs/ Mon, 01 Jan 0001 00:00:00 +0000 /graphs_benchmarks/graphs/ Benchmarks graphs for comparing state-of-the-art solvers for symmetry detection. /quick_start/orbit_stabilizer/ Mon, 01 Jan 0001 00:00:00 +0000 /quick_start/orbit_stabilizer/ How to deal with orbit stabilizers. /how_it_works/philosophy/ Mon, 01 Jan 0001 00:00:00 +0000 /how_it_works/philosophy/ /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. /related/related/ Mon, 01 Jan 0001 00:00:00 +0000 /related/related/ A list of software related to dejavu. /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.