# Use of SAT Solvers in Cryptanalysis

This is the source code for my master's thesis. The text is available at https://github.com/lacop/master-thesis-text.

Includes the **SAT modeling library**, some **usage samples**, the command line tool **HashToolkit** for easy generation of instances for preimage or collision attacks and the **statistical analysis** code.