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.13.3 URL: https://unpkg.com/z3-solver@4.13.3/build/browser.js

Open Browse Files

Z3 theorem prover solver satisfiability smt satisfiability modulo theories

prover

A reference library for building JS apps using the Prover documentation.

v1.0.1 URL: https://unpkg.com/prover@1.0.1/src/prover.js

Open Browse Files

prover proof of work crypto secure

@lodestar/prover

A Typescript implementation of the Ethereum Consensus light client

v1.23.0 URL: https://unpkg.com/@lodestar/prover@1.23.0/index.js

Open Browse Files

ethereum eth-consensus beacon api blockchain prover

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.0.7 URL: https://unpkg.com/dtk-z3-solver-deno-v2@0.0.7/build/browser.js

Open Browse Files

Z3 theorem prover solver satisfiability smt satisfiability modulo theories

pil-stark

Build a stark from a PIL

v0.0.58 URL: https://unpkg.com/pil-stark@0.0.58/index.js

Open Browse Files

stark pil zksnark prover polygon hermez