GitHub Hot Board · 저장소 아카이브

Z3Prover/z3

The Z3 Theorem Prover (소개는 저장소 자체 문서에서 왔습니다.)

데이터 기준 October 27Z3Prover

최고 순위

#212

종합 · C++ 언어별

13K

누적 스타

1.7K

포크 수

최근 30일 기록 일수

프로젝트 상태라이선스: NOASSERTION최근 push: October 27열린 이슈(PR 포함): 51

2026-10-25부터 수집. 미확인 = 아직 미수집

[![README에 뱃지를 붙여보세요](https://git.vaiox.xyz/api/badge/Z3Prover/z3.svg)](https://git.vaiox.xyz/ko/repo/Z3Prover/z3)

Badge · 任何仓库都可以挂 —— 未上榜的仓库显示灰章,上完榜会自动点亮。

<a href="https://git.vaiox.xyz/ko/repo/Z3Prover/z3"><img src="https://git.vaiox.xyz/api/badge/Z3Prover/z3.svg" alt="README에 뱃지를 붙여보세요" height="20"></a>

현재 순위

212
종합 랭킹 · 역대 최강 · C++
13K 스타 · 1.7K fork · 총 스타 수
종합 · C++ →

최근 30일 추이

최근 30일간 기록이 없습니다.

← 랭킹으로