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

Dictionary that contains inequalities for large sboxes xor linear

Next topic

Generate inequalities for and operation 2 input bits

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

© Copyright 2005--2022, The Sage Development Team.