Framework for studying cryptographic hash functions using SAT.
Do you want to download the README.md file for hash_framework?