ArkScript-lang / ArkScript-lang/modules
Add a Z3 module
オープン
enhancement
priority/low
- 主要言語
- C++
- スター
- 7
- フォーク
- 4
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
https://github.com/Z3Prover/z3/blob/master/examples/c%2B%2B/example.cpp
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
調査の方向性
まずリンクされている Z3 の C++ 例を読み、その後、このリポジトリにある既存のモジュールソースとエントリポイントを調べて、Z3 をどのように公開すべきかを判断してください。Z3 モジュールが存在すれば完了となりますが、この issue ではファイル、テスト、実装範囲、受け入れ基準は指定されていません。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- cpp
- 領域
- tooling
- issue の種類
- 機能追加
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 活発さ
- 停滞
- 明瞭さ
- 説明が足りない
- 初心者へのやさしさ
- 20/100