liyu0x/cryptosmt

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

Oringal repository: https://github.com/kste/cryptosmt

running command: python3 cluster_search.py --inputfile katan32.yml