z3-solver

v4.16.0npm· JavaScript

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

The verdict

Maintained. Maintained, actively maintained.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityUnknown

SecurityClean

LicensePermissive

DepsLean

Maintenance

Last published 3 months ago.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

MIT

Dependencies

1 direct dependency

Recent releases

4.16.03 months ago
4.15.84 months ago
4.15.47 months ago
4.15.310 months ago
4.15.211 months ago
4.15.112 months ago
4.15.0over a year ago
4.14.1over a year ago