SMT based attacks on non cryptographic PRNGs - View it on GitHub