z3-solver

v4.15.3

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

Install

npm install z3-solver

Bundle size

Dependencies

Dependencies(1)

async-mutex
^0.3.2

Peer Dependencies(0)

Dev Dependencies(15)

@types/jest
^27.5.1
@types/node
^17.0.8
@types/sprintf-js
^1.1.2
check-engine
^1.10.1
iter-tools
^7.3.1
jest
^28.1.0
npm-run-all
^4.1.5
prettier
^3.4.2
rimraf
^3.0.2
sprintf-js
^1.1.2
ts-expect
^1.3.0
ts-jest
^28.0.3
ts-node
^10.8.0
typedoc
^0.27.3
typescript
^5.7.2

Source code on GitHub