SAT solver in cryptanalysis

Submission

Bachelor thesis
Document sources on github

Todo list

Example files

Screenshot of workplace
Screenshot of my working station
Satisfiability evaluation of SIGMA testcases
SAT results of SIGMA testcases