pypi · pypi:z3-solver
z3-solver активний
an efficient SMT solver library
| Остання стабільна версія | 5.1.0.0 |
|---|---|
| Опубліковано | 2026-08-16 04:29:02 UTC |
| Потребує | не вказано |
| Ліцензія | MIT License |
| Попередження безпеки для останньої версії | невідомі |
| Остання перевірка | 2026-09-28 14:54:18 UTC |
| Джерела | pypi.org |
Зафіксовані зміни
Відколи Vigia відстежує цей пакет, змін ще не зафіксовано.
Для агентів
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver