RngSolver Feature Guess the internal state of the pseudo-random number from its output by Z3 solver A wrapper that can handle ulong and BitVecExpr in the same way