MT19937-Symbolic-Execution-and-Solver

The MT19937 Symbolic Execution and Solver tool provides a mechanism for symbolic execution of the MT19937 pseudorandom number generator, alongside a solver for GF(2) matrices, enabling cloning of the generator based on known outputs. Notable features include a Python-only solver for faster performance without dependencies and a wrapper for Cryptominisat, which enhances speed with proper compilation. The tool also facilitates state reversal of the MT19937 generator to predict prior outputs, despite some current limitations in functionality.