Not an issue, but... I ported this to Node and published to NPM! #4
Description
predict-v8-randomness : You can run this programmatically, or via CLI.
Thank you for the inspiration to do this!
Check out the GitHub repo here. Has a pretty detailed README...
Z3 is SO much easier to work with in Python, let me tell you! The Node bindings aren't nearly as mature - this was a challenge for sure!
I'd love any feedback :) Cheers!