pypi · pypi:z3-solver
z3-solver ativo
an efficient SMT solver library
| Versão estável mais recente | 5.1.0.0 |
|---|---|
| Publicada | 2026-08-16 04:29:02 UTC |
| Requer | nenhum declarado |
| Licença | MIT License |
| Alertas de segurança na versão mais recente | nenhum conhecido |
| Última verificação | 2026-09-28 14:54:18 UTC |
| Fontes | pypi.org |
Mudanças observadas
Nenhuma mudança observada desde que o Vigia começou a monitorar este pacote.
Para agentes
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver