Tags: lcg 

Rating:

Given LCG equation. Write script to find the seed using z3-python. Derive the next password from the seed found in the script.

[Link to writeup ](https://github.com/Team-Shakti/CTF-Write-ups/blob/master/docs/crypto/TamuCTF/pwngen/writeup.md)

Original writeup (https://github.com/Team-Shakti/CTF-Write-ups/blob/master/docs/crypto/TamuCTF/pwngen/writeup.md).