GitHub repository: kste/cryptosmt
Primary language: Python
Description: An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.