-
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...