Searching for Automorphisms in Underlying CNF, yes?
-
Updated
Dec 19, 2017 - C
Searching for Automorphisms in Underlying CNF, yes?
A Python binding for the saucy algorithm for the graph automorphism problem
Add a description, image, and links to the saucy topic page so that developers can more easily learn about it.
To associate your repository with the saucy topic, visit your repo's landing page and select "manage topics."