issues
search
icemonster
/
symbolic_mersenne_cracker
Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs
MIT License
67
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Conditional branch makes Z3 runs slow
#2
user202729
opened
1 year ago
1
z3 model check returns unsat when we submit MORE than 624 numbers
#1
ZM-J
closed
3 years ago
5