これは、オンライン Linux で実行する CTL-RP という名前の Linux アプリで、最新リリースは ctlrp21_sourceforge.zip としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
CTL-RP という名前のこのアプリをオンラインでダウンロードして実行し、OnWorks を使用して Linux でオンラインで無料で実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
Linux でオンラインで実行する CTL-RP
Ad
DESCRIPTION
CTL-RP は、Computation Tree Logic Resolution Prover の略です。 計算ツリー ロジック (CTL) は、分岐時間の時相ロジックです。 CTL-RP は、CTL 用の解像度ベースの定理証明器であり、推論のコア エンジンとして一次定理証明器 SPASS を利用します。詳細については、次のリンクを参照してください。
http://cueb.science/web/software/ (中国国内にいる場合)
http://ctlrp.sourceforge.net (中国国内にいない場合)
Audience
科学/研究
ユーザーインターフェース
コマンドライン
プログラミング言語
C
これは https://sourceforge.net/projects/ctlrp/ から取得することもできるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。
