ArkScript-lang / ArkScript-lang/modules
Add a Z3 module
Abierto
enhancement
priority/low
- Lenguaje dominante
- C++
- Estrellas
- 7
- Forks
- 4
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
https://github.com/Z3Prover/z3/blob/master/examples/c%2B%2B/example.cpp
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Línea de trabajo
Lee primero el ejemplo enlazado de Z3 en C++ y, después, inspecciona las fuentes de módulos y los puntos de entrada existentes en este repositorio para determinar cómo se debería exponer Z3. Se consideraría completado cuando exista un módulo de Z3, pero el issue no especifica archivos, pruebas, el alcance de la implementación ni criterios de aceptación.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- cpp
- Área
- tooling
- Tipo de issue
- Nueva funcionalidad
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Estado de actividad
- Estancado
- Claridad
- Necesita aclaración
- Aptitud para principiantes
- 20/100