これは、Ubuntu Online、Fedora Online、Windowsオンラインエミュレーター、MACOSオンラインエミュレーターなどの複数の無料オンラインワークステーションのXNUMXつを使用してOnWorks無料ホスティングプロバイダーで実行できるコマンドinterpfilterです。
プログラム：
NAME
interpfilter-数式を使用してモデルをフィルタリングする
SYNOPSIS
インターフィルター <数式ファイル>>test> <解釈ファイル>>合格-解釈-
file>
DESCRIPTION
このマニュアルページでは、 インターフィルター
与えられたセット 式 test 実行する、およびのストリーム 解釈, インターフィルター
テストに合格した解釈を出力します。
TESTS
以下のテストが利用可能です。
すべて_true
与えられた解釈においてすべての公式は真です。
ある意味本当
与えられた解釈に当てはまるいくつかの公式。
all_false
与えられた解釈では、すべての式は誤りです。
some_false
与えられた解釈においていくつかの公式は誤りです。
onworks.netサービスを使用してオンラインでinterpfilterを使用する
