Search

z3-solver

This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

v4.15.2 URL: https://unpkg.com/z3-solver@4.15.2/build/node.js

OpenBrowse Files

Z3theoremproversolversatisfiabilitysmtsatisfiability modulo theories

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

OpenBrowse Files

v8math.randompredictz3clisymbolic-executionsmt

megaten

An unofficial collection of data from the Shin Megami Tensei and Persona games.

v2.3.1 URL: https://unpkg.com/megaten@2.3.1/dist/index.js

OpenBrowse Files

megatenshin megami tenseismtpersonaatlus

moses

Moses Statistical Machine Translation (SMT) library for Node.js

v0.1.3 URL: https://unpkg.com/moses@0.1.3/lib/moses.js

OpenBrowse Files

mosessmttranslation

dtk-z3-solver-deno-v2

This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

v0.1.4 URL: https://unpkg.com/dtk-z3-solver-deno-v2@0.1.4/build/node.js

OpenBrowse Files

Z3theoremproversolversatisfiabilitysmtsatisfiability modulo theories