mirrors/z3

mirror of https://github.com/Z3Prover/z3 synced 2026-04-12 23:40:34 +00:00

Nikolaj Bjorner 36cfb88f5f add preliminary stub to handle closure types		2022-01-17 22:01:31 -08:00
..
scripts	add preliminary stub to handle closure types	2022-01-17 22:01:31 -08:00
src
build-wasm.sh
example-raw.ts
package-lock.json
package.json
PUBLISHED_README.md
README.md
test-ts-api.ts
tsconfig.json

TypeScript Bindings

This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as z3-solver.

The readme for the bindings themselves is located in PUBLISHED_README.md.

Building

You'll need to have emscripten set up, along with all of its dependencies. The easiest way to do that is with emsdk.

Then run npm i to install dependencies, npm run build-ts to build the TypeScript wrapper, and npm run build-wasm to build the wasm artifact.

Current tests are very minimal: test-ts-api.ts contains a couple real cases translated very mechanically from this file.