cxjdavin/cipher_encodings

CNF encodings for ciphers, generated in a modular fashion

Python