/cryptosmt

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

Primary LanguagePythonMIT LicenseMIT

Stargazers