z3-solver

z3-solver JS library on GitHub z3-solver JS library on npm Download z3-solver JS library

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

Version 4.15.0 License MIT
z3-solver has no homepage
z3-solver JS library on GitHub
z3-solver JS library on npm
Download z3-solver JS library
Keywords
Z3theoremproversolversatisfiabilitysmtsatisfiability modulo theories