ArkScript-lang / ArkScript-lang/modules
Add a Z3 module
Đang mở
enhancement
priority/low
- Ngôn ngữ chính
- C++
- Star
- 7
- Fork
- 4
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
https://github.com/Z3Prover/z3/blob/master/examples/c%2B%2B/example.cpp
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Hướng nghiên cứu
Trước tiên, hãy đọc ví dụ Z3 bằng C++ được liên kết, sau đó kiểm tra các mã nguồn module và các entry point hiện có trong repository này để xác định Z3 nên được expose như thế nào. Công việc được xem là hoàn tất khi có một module Z3, nhưng issue không chỉ rõ các file, test, phạm vi triển khai hay tiêu chí nghiệm thu.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- cpp
- Lĩnh vực
- tooling
- Loại issue
- Tính năng
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Cần làm rõ
- Mức phù hợp với người mới
- 20/100