SCIP Doxygen Documentation
Loading...
Searching...
No Matches
symmetry Directory Reference

Files

 
build_dejavu_graph.cpp
 methods to build dejavu graph for symmetry detection
 
build_dejavu_graph.h
 methods to build dejavu graph for symmetry detection
 
compute_symmetry.h
 interface for symmetry computations
 
compute_symmetry_bliss.cpp
 interface for symmetry computations to bliss
 
compute_symmetry_dejavu.cpp
 interface for symmetry computations to dejavu
 
compute_symmetry_nauty.c
 interface for symmetry computations to nauty/traces
 
compute_symmetry_none.cpp
 interface for no symmetry computations
 
compute_symmetry_sassy_bliss.cpp
 interface for symmetry computations to sassy as a preprocessor to bliss
 
compute_symmetry_sassy_nauty.cpp
 interface for symmetry computations to sassy as a preprocessor to nauty
 
struct_symmetry.h
 structs for symmetry computations
 
type_symmetry.h
 type definitions for symmetry computations