Searching for Automorphisms in Underlying CNF, yes? - View it on GitHub