z3-solver @4.16.0
—
License
No
Install Scripts
1
Dependencies
15
Dev Dependencies
7580.6 KB
Package Size
Published
Maintainers
bakkotnbjorner
Keywords
Z3theoremproversolversatisfiabilitysmtsatisfiability modulo theories
Dependencies (1)
| Package | Constraint | Registry Status |
|---|---|---|
| async-mutex | ^0.3.2 | auto_approved |
Dev Dependencies (15)
| Package | Constraint | Registry Status |
|---|---|---|
| jest | ^28.1.0 | auto_approved |
| rimraf | ^3.0.2 | auto_approved |
| ts-jest | ^28.0.3 | auto_approved |
| ts-node | ^10.8.0 | auto_approved |
| typedoc | ^0.27.3 | pending |
| prettier | ^3.4.2 | auto_approved |
| ts-expect | ^1.3.0 | auto_approved |
| iter-tools | ^7.3.1 | auto_approved |
| sprintf-js | ^1.1.2 | auto_approved |
| typescript | ^5.7.2 | auto_approved |
| @types/jest | ^27.5.1 | auto_approved |
| @types/node | ^17.0.8 | auto_approved |
| npm-run-all | ^4.1.5 | auto_approved |
| check-engine | ^1.10.1 | Not imported |
| @types/sprintf-js | ^1.1.2 | Not imported |
Transitive Dependency Tree
2 transitive deps
max depth 2
├─
async-mutex
^0.3.2
→ 0.3.2
├─
tslib
^2.3.1
→ 2.8.1
Commit: ddb49568d352 Browse source
Published to npm: