{"package":"z3-solver","ecosystem":"npm","exists":true,"latest_version":"4.16.0","repository":"https://github.com/Z3Prover/z3","license":"MIT","description":"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).","downloads_weekly":64487,"deprecated":false,"health":{"score":78},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"safe"}}