Repository Issues

Z3Prover/z3

The Z3 Theorem Prover

GitHub で見る
Stars
 (9,468 個のスター)
Forks
 (1,445 件のフォーク)
Indexed issues
 (1 件の索引済み Issue)
open beginner issues
 (0 件のオープンな初心者向け Issue)
最終索引
2026/08/14
最終 GitHub push
2024/01/22
ライセンス
Other
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
C++
PR merge metrics
 (平均マージ 1d 16h) (30 日間に 110 件のマージ済み PR)
初心者向けラベル
help wanted

Issue

1 件のクローズ済み索引 Issue