Vigia

PyPI · pypi:z3-solver

z3-solver 활성

an efficient SMT solver library

z3-solver의 최신 안정 버전은 5.4.1.0이며 2026-11-11에 배포되었습니다. Vigia가 2026-11-13에 확인했습니다.

최신 안정 버전5.4.1.0
배포일2026-11-11 02:07:13 UTC
설치pip install --upgrade z3-solver
요구 사항명시되지 않음
라이선스MIT License
최신 버전의 보안 권고알려진 항목 없음
마지막 확인2026-11-13 20:56:42 UTC
출처pypi.org

유지 관리

활동 수준활발함
마지막 안정 버전2026-11-11 02:07:13 UTC · 2일 전
최근 12개월 안정 버전 수13
배포된 버전 수58

배포일만을 기준으로 한 추정치이며, 이슈나 보안 문제에 대한 대응 시간은 반영하지 않습니다.

버전 기록

버전배포일
5.4.1.02026-11-11 02:07:13 UTC
5.4.0.02026-11-10 04:31:16 UTC
5.3.3.02026-10-29 14:13:49 UTC
5.3.2.02026-10-25 13:35:47 UTC
5.3.1.02026-10-15 21:26:58 UTC
5.3.0.02026-10-14 21:00:32 UTC
5.1.0.02026-08-16 04:29:02 UTC
5.0.0.02026-07-17 01:53:49 UTC
4.16.0.02026-02-19 04:13:44 UTC
4.15.8.02026-02-12 20:58:34 UTC
4.15.7.0 철회됨2026-02-09 01:08:27 UTC
4.15.6.0 철회됨2026-02-08 20:26:58 UTC
4.15.5.0 철회됨2026-02-07 19:34:37 UTC
4.15.4.02025-10-29 18:11:46 UTC
4.15.3.02025-08-16 02:27:18 UTC
4.15.1.02025-06-08 18:54:25 UTC
4.15.0.02025-05-10 01:15:21 UTC
4.14.1.02025-03-11 00:02:56 UTC
4.14.0.02025-02-18 22:41:18 UTC
4.13.4.02024-12-16 16:44:03 UTC

전체 58개 버전 중 최신 20개를 표시합니다. JSON

이 데이터를 AI 에이전트에 제공하세요

Vigia는 무료 MCP 서버입니다. 코딩 에이전트가 코드를 작성하기 전에 버전, 호환성을 깨는 변경, 취약점을 확인합니다. 가입도 API 키도 필요 없습니다.

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

Cursor에 추가VS Code에 추가★ GitHub에서 스타 누르기

그 밖의 MCP 클라이언트
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

에이전트 스킬(SKILL.md): 에이전트에게 Vigia를 언제 쓸지 알려 줍니다 · 풀 리퀘스트용 GitHub Action

자주 묻는 질문

z3-solver의 최신 버전은 무엇인가요?

z3-solver의 최신 안정 버전은 5.4.1.0이며 2026-11-11에 배포되었습니다. Vigia가 2026-11-13에 확인했습니다.

z3-solver 최신 버전은 어떻게 설치하나요?

pip install --upgrade z3-solver을(를) 실행하세요. 최신 안정 버전은 5.4.1.0입니다(2026-11-13 확인).

z3-solver은(는) 지원 중단되었나요?

아니요. 레지스트리에서 z3-solver은(는) 지원 중단으로 표시되어 있지 않습니다.

z3-solver에는 어떤 Python 버전이 필요한가요?

z3-solver 5.4.1.0은(는) Python 버전 요구 사항을 명시하지 않습니다.

z3-solver 5.4.1.0에 알려진 취약점이 있나요?

Vigia가 확인하는 데이터에 따르면 z3-solver 5.4.1.0에 영향을 주는 알려진 보안 권고는 없습니다.

z3-solver은(는) 지금도 유지 관리되고 있나요?

z3-solver은(는) 최근 12개월 동안 안정 버전 13개를 배포했으며, 가장 최근 배포는 2일 전입니다. 활동 수준: 활발함.

확인된 변경 사항

관련 패키지

README용 배지

이 패키지의 최신 버전, 유지 관리 상태, 지원 중단 여부를 표시하세요. Markdown을 복사하세요:

[![version](https://vigia.coredls.cloud/badge/pypi/z3-solver/version.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![maintained](https://vigia.coredls.cloud/badge/pypi/z3-solver/maintained.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![status](https://vigia.coredls.cloud/badge/pypi/z3-solver/status.svg)](https://vigia.coredls.cloud/pypi/z3-solver)

에이전트용

GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver/versions/{version}