ダウンロードリスト

プロジェクト概要

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

システム要件

オペレーティングシステム: OS非依存
  • p1-master.zip(日付: 2021-10-15, サイズ: 24.27 KB)
  • p1-master.zip(日付: 2021-10-15, サイズ: 24.27 KB)

ダウンロードパッケージ一覧

generic-p1 (1 個のアイテム )

リリース時刻: 2021-10-15 12:00
well (1 個のファイル 非表示)