OKlibrary  0.2.1.6
ConstraintTemplateRewriteRules.mac File Reference

Functions for translating AES constraint templates into further AES constraint templates and CNF representations. More...

Go to the source code of this file.


Detailed Description

Functions for translating AES constraint templates into further AES constraint templates and CNF representations.

Use by

oklib_load("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/ConstraintTemplateRewriteRules.mac");

Definition in file ConstraintTemplateRewriteRules.mac.