CiVerLy, the *Cipher Verification Library*, helps you analyze primitives from symmetric cryptography by utilizing mixed-integer linear programming (MILP) and satisfiability (SAT) models. We developed CiVerLy on behalf of the [German Federal Office for Information Security (BSI)](https://www.bsi.bund.de/) and now continue the development as an open source project on [GitHub](https://github.com/kryptoloesungen/CiVerLy).