New:Introducing Socket Scanning for VS Code Marketplace Extensions.Learn more →
Get Started
n

nbjorner

npm

47.46K

total weekly downloads

Packages

Current Co-maintainers

Former Co-maintainers

1 package

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