{"bugs":{"url":"https://github.com/Z3Prover/z3/issues"},"dist":{"shasum":"4bcb1fa1f9d78d1ef6fe717f1f71c0c251cc3896","tarball":"https://registry.npmjs.org/z3-solver/-/z3-solver-5.2.0.tgz","fileCount":25,"integrity":"sha512-0mGfrkwV/3zKGLy+EPWlHGORWMVZ8BsaiVYxVxuztk28YHRlD1XO0R7Op7g1nc6JX6kG2b8mHwXTuxSFnYQvww==","signatures":[{"sig":"MEUCIBNqj0GZj+RcX6Z9e2odvCBaZH62dOTSaSYABZwbnmaeAiEAnt2vYymSIf3B5H6W6v4MOpVQK17l7g3h4cmNqALZRIo=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":35820846},"main":"build/node.js","name":"z3-solver","types":"build/node.d.ts","browser":"build/browser.js","engines":{"node":">=16"},"gitHead":"414189804519311450363b3858ed4a15501a4afe","license":"MIT","scripts":{"docs":"typedoc","lint":"prettier -c '{./,src/,scripts/,examples/}**/*.{js,ts}'","test":"node --expose-gc ./node_modules/.bin/jest","clean":"rimraf build 'src/**/*.__GENERATED__.*'","format":"prettier --write '{./,src/,scripts/}**/*.{js,ts}'","build:ts":"run-s -l build:ts:generate build:ts:tsc","build:wasm":"ts-node --transpileOnly ./scripts/build-wasm.ts","build:ts:tsc":"tsc --pretty --project tsconfig.build.json ","check-engine":"check-engine","build:ts:generate":"ts-node --transpileOnly scripts/make-ts-wrapper.ts src/low-level/wrapper.__GENERATED__.ts src/low-level/types.__GENERATED__.ts"},"_npmUser":{"name":"nikolaj_bjorner","email":"nbjorner@microsoft.com"},"homepage":"https://github.com/Z3Prover/z3/tree/master/src/api/js","keywords":["Z3","theorem","prover","solver","satisfiability","smt","satisfiability modulo theories"],"repository":{"url":"git+https://github.com/Z3Prover/z3.git","type":"git"},"_npmVersion":"10.9.8","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).","directories":{},"maintainers":[{"name":"nikolaj_bjorner","email":"nbjorner@microsoft.com"},{"name":"bakkot","email":"bakkot@gmail.com"},{"name":"levnach","email":"levnach@hotmail.com"}],"_nodeVersion":"22.23.2","contributors":[{"name":"Kevin Gibbons","email":"bakkot@gmail.com"},{"name":"Nikolaj Bjorner"},{"name":"Olaf Tomalka","email":"olaf@tomalka.me"},{"name":"Walden Yan","email":"waldenyan20@gmail.com"}],"dependencies":{"async-mutex":"^0.3.2"},"_hasShrinkwrap":false,"devDependencies":{"jest":"^28.1.0","rimraf":"^3.0.2","ts-jest":"^28.0.3","ts-node":"^10.8.0","typedoc":"^0.27.3","prettier":"^3.4.2","ts-expect":"^1.3.0","iter-tools":"^7.3.1","sprintf-js":"^1.1.2","typescript":"^5.7.2","@types/jest":"^27.5.1","@types/node":"^17.0.8","npm-run-all":"^4.1.5","check-engine":"^1.10.1","@types/sprintf-js":"^1.1.2"},"_npmOperationalInternal":{"tmp":"tmp/z3-solver_5.2.0_1787284389843_0.0009192818570624706","host":"s3://npm-registry-packages-npm-production"},"_id":"z3-solver@5.2.0","version":"5.2.0"}