Over the last weekend, I was playing around with some ciphers and it turns out CNF/ANF generators for ciphers are not readily available, apart from whatever is available here:
A collection of CNF of various ciphers (some without explanations)
CNF generator for stream ciphers
Frankly, I was pretty surprised. As I’ve seen quite a bit of cryptanalysis work done on CNF/ANF encodings of ciphers, I half-expected there to be a trove of encodings to play around with. I guess someone has to build/maintain a collection somewhere.
In response, I created a Github repository which I intend to fill as and when I have spare time. It’s quite an interesting coding exercise, which has a different flavour from the typical algorithmic problems.