...
simple example of cracking simple hash-function by Z3 SMT-solver
Merge remote-tracking branch 'upstream/master'