openteamsinc
npm/z3-solver
Risk Profile
Package
Source
Risk Profile
Maturity:
Mature
Health:
Healthy
Legal:
Caution Needed
License has additional text that may require review before use
Security:
Healthy
Package
npm
z3-solver
Version
4.15.3
Last Release Date
22 days ago
License
MIT
Dependencies
async-mutex
^0.3.2
Source
Location
Z3Prover/z3
Last Source Update
1 day ago
Licenses
MIT License
(text added)
Distribution Destinations
pypi/z3-solver
npm/z3-solver
