hash_framework

Framework for studying cryptographic hash functions using SAT.

// repository documentation