061012 / cryptosmt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kste/cryptosmt
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
Home Page: https://kste.dk/cryptosmt.html
License: MIT License