predict-v8-randomness

Predict the output of Math.random

v1.0.35 URL: https://unpkg.com/predict-v8-randomness@1.0.35/dist/cjs/lib/index.js

Open Browse Files

v8 math.random predict z3 cli symbolic-execution smt

js-randomness-predictor

Predict Math.random output in Node, Chrome, and Firefox

v2.0.0 URL: https://unpkg.com/js-randomness-predictor@2.0.0/dist/cjs/index.js

Open Browse Files

predict-javascript-math-random predict javascript math.random Math.random math.random predictor javascript random predictor z3 z3-solver rng predict

js-randomness-predictor-cpp

Node.js native addon (C++) for high-performance Math.random() prediction

v1.1.0 URL: https://unpkg.com/js-randomness-predictor-cpp@1.1.0/index.js

Open Browse Files

predict javascript randomness predict math.random math.random math.random predictor predict predictor z3

grilops

A Grid Logic Puzzle Solver library, using Typescript and z3.

v0.1.2 URL: https://unpkg.com/grilops@0.1.2/dist/index.es.js

Open Browse Files

puzzle solver logic z3 typescript sat

smtliblib

An SMTLIBv2 parser and AST

v1.0.19 URL: https://unpkg.com/smtliblib@1.0.19/dist/src/smt.js

Open Browse Files

smtlib smtlibv2 parser parse ast z3 solver