js-randomness-predictor

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

v1.2.0 URL: https://unpkg.com/js-randomness-predictor@1.2.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

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

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

z3em

Z3 via emscripten

v0.0.5 URL: https://unpkg.com/z3em@0.0.5/z3em.js

Open Browse Files

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