Welcome to the initial release of CryptoSolve v0.1. This tool generates and verifies cryptographic modes of operations using symbolic methods. To check it out, download the tarball, and use pip to install the packages in the wheel directory. Then run the command `moe_website` to check out the tool.