OKlibrary  0.2.1.6
general.hpp File Reference

User documentation for the Maxima computer algebra system implementation of the AES constraint translations. More...

Go to the source code of this file.


Detailed Description

User documentation for the Maxima computer algebra system implementation of the AES constraint translations.

Todo:
General structure

Definition in file general.hpp.