GitHub repository: Crypto-TII/claasp
Primary language: Python
Description: A Cryptographic Library for the Automated Analysis of Symmetric Primitives