ArkScript-lang / ArkScript-lang/modules
Add a Z3 module
Offen
enhancement
priority/low
- Vorherrschende Sprache
- C++
- Sterne
- 7
- Forks
- 4
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
https://github.com/Z3Prover/z3/blob/master/examples/c%2B%2B/example.cpp
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Rechercherichtung
Lies zuerst das verlinkte Z3-C++-Beispiel und untersuche dann die vorhandenen Modulquellen und Einstiegspunkte dieses Repositorys, um festzustellen, wie Z3 verfügbar gemacht werden sollte. Als erledigt würde gelten, wenn ein Z3-Modul existiert; die Issue spezifiziert jedoch keine Dateien, Tests, den Implementierungsumfang oder Abnahmekriterien.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- cpp
- Bereich
- tooling
- Issue-Typ
- Feature
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Aktivitätsstatus
- Veraltet
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 20/100