GitHub Hot Board · Repo-Archiv

Z3Prover/z3

The Z3 Theorem Prover (Diese Beschreibung stammt vom Repository.)

Datenstand October 26Z3Prover

Bestplatzierung

#212

Allzeit · C++ Sprachfilter

13K

Sterne total

1.7K

Forks total

Ranking-Tage (30 T.)

ProjektstatusLizenz: NOASSERTIONLetzter Push: October 26Offene Issues (inkl. PR): 47

Seit 2026-10-25 erfasst; unbekannt = noch nicht erhoben

[![Badge in dein README](https://git.vaiox.xyz/api/badge/Z3Prover/z3.svg)](https://git.vaiox.xyz/de/repo/Z3Prover/z3)

<a href="https://git.vaiox.xyz/de/repo/Z3Prover/z3"><img src="https://git.vaiox.xyz/api/badge/Z3Prover/z3.svg" alt="Badge in dein README" height="20"></a>

Aktuelle Platzierungen

212
Allzeit-Champions · C++
13K Sterne · 1.7K fork · Stars insgesamt
Allzeit · C++ →

Verlauf der letzten 30 Tage

Keine Ranglisten-Einträge in den letzten 30 Tagen.

← Zu den Boards