xorshift128plus_exploit Reverse engineered xorshift128+ to calculate seed from 3 sequential generated values using Z3 SMT solver. For hackMIT final puzzle 2016