sassy-devel
===========
/usr/include/sassy
/usr/include/sassy/tools
/usr/share/doc/sassy-devel
/usr/share/licenses/sassy-devel

/usr/include/sassy/bijection.h
/usr/include/sassy/coloring.h
/usr/include/sassy/configuration.h
/usr/include/sassy/graph.h
/usr/include/sassy/invariant.h
/usr/include/sassy/preprocessor.h
/usr/include/sassy/refinement.h
/usr/include/sassy/selector.h
/usr/include/sassy/sgraph.h
/usr/include/sassy/tools/bliss_converter.h
/usr/include/sassy/tools/nauty_converter.h
/usr/include/sassy/tools/saucy_converter.h
/usr/include/sassy/tools/traces_converter.h
/usr/include/sassy/utility.h
/usr/share/doc/sassy-devel/README.md
/usr/share/licenses/sassy-devel/LICENSE