Scippy

    SCIP

    Solving Constraint Integer Programs

    symmetry Directory Reference

    Files

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