/MT19937-Symbolic-Execution-and-Solver

Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices

Primary LanguagePython

No issues in this repository yet.