プロジェクトの説明

決定論的に記述されたプログラムの出力したデータとその入力の列が与えられた時にその不変量を計算し、入力から差し引いて出力するプログラムです。バグレポートは歓迎されます。恐らくこれで閉じられます。

ダウンロード

source ソースコード p1-master.zip (日付: 2021-10-15, サイズ: 24.27 KB)
document 文書 p1-master.zip (日付: 2021-10-15, サイズ: 24.27 KB)

レビュー
あなたの評価
レビューする

統計情報

最新の動き