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)