ArkScript-lang / ArkScript-lang/modules
Add a Z3 module
Aperta
enhancement
priority/low
- Lingua principale
- C++
- Stelle
- 7
- Fork
- 4
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
https://github.com/Z3Prover/z3/blob/master/examples/c%2B%2B/example.cpp
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Direzione di ricerca
Leggi prima l'esempio Z3 in C++ collegato, quindi esamina le sorgenti dei moduli e gli entry point esistenti di questo repository per determinare come dovrebbe essere esposto Z3. Il lavoro sarebbe completato quando esistesse un modulo Z3, ma l'issue non specifica file, test, ambito dell'implementazione o criteri di accettazione.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- cpp
- Ambito
- tooling
- Tipo di issue
- Funzionalità
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Stato di attività
- Ferma
- Chiarezza
- Da chiarire
- Idoneità per principianti
- 20/100