z3-solver

Version:

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).

github.com/Z3Prover/z3/tree/master/src/api/js

Z3Prover/z3

2 folders, 8 files

Filename	Content Type	Size
../
high-level/	–	296 kB
low-level/	–	213 kB
browser.d.ts	text/typescript	342 B
browser.js	text/javascript	1.42 kB
kill-threads.d.ts	text/typescript	579 B
kill-threads.js	text/javascript	1.43 kB
node.d.ts	text/typescript	1.29 kB
node.js	text/javascript	2.41 kB
z3-built.js	text/javascript	354 kB
z3-built.wasm	application/wasm	34.9 MB