• nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Cliquer

  • Referenced in 69 articles [sw05044]
  • Cliquer - routines for clique searching. Cliquer is a...
  • libexact

  • Referenced in 22 articles [sw17197]
  • libexact is a software library for solving combinatorial...