OKlibrary  0.2.1.6
ConstraintTemplateRewriteSystem.mac File Reference

Tests for the AES constraint template rewrite system. More...

Go to the source code of this file.


Detailed Description

Tests for the AES constraint template rewrite system.

Use by

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

Definition in file ConstraintTemplateRewriteSystem.mac.