Navigation
index
modules
|
next
|
previous
|
CLAASP: Cryptographic Library for Automated Analysis of Symmetric Primitives v2.5.0 documentation
»
Mzn predicates
Mzn predicates
¶
get_word_operations
(
)
¶
Previous topic
Generate inequalities for wordwise truncated mds matrices
Next topic
Generate inequalities for large sboxes
This Page
Show Source
Quick search
Navigation
index
modules
|
next
|
previous
|
CLAASP: Cryptographic Library for Automated Analysis of Symmetric Primitives v2.5.0 documentation
»
Mzn predicates
