英語フランス語スペイン語

OnWorksファビコン

Windows 用意思決定手順ツールキットのダウンロード

オンラインで実行する Decision Procedure Toolkit Windows アプリを無料でダウンロードして、Ubuntu オンライン、Fedora オンライン、または Debian オンラインで Wine を獲得します

これは Decision Procedure Toolkit という名前の Windows アプリで、最新リリースは dpt2.0.tgz としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。

OnWorks を使用した Decision Procedure Toolkit という名前のこのアプリをオンラインで無料でダウンロードして実行します。

このアプリを実行するには、次の手順に従ってください。

-1。このアプリケーションをPCにダウンロードしました。

--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。

-3。このアプリケーションをそのようなファイルマネージャにアップロードします。

-4。このWebサイトからOSOnWorksオンラインエミュレーターを起動しますが、Windowsオンラインエミュレーターの方が優れています。

-5。起動したばかりのOnWorksWindows OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。

-6。アプリケーションをダウンロードしてインストールします。

-7.LinuxディストリビューションソフトウェアリポジトリからWineをダウンロードします。 インストールしたら、アプリをダブルクリックして、Wineで実行できます。 また、人気のあるWindowsプログラムやゲームのインストールに役立つWine上の豪華なインターフェイスであるPlayOnLinuxを試すこともできます。

WineはLinux上でWindowsソフトウェアを実行する方法ですが、Windowsは必要ありません。 Wineは、任意のLinuxデスクトップでWindowsプログラムを直接実行できるオープンソースのWindows互換性レイヤーです。 基本的に、Wineは、実際にWindowsを必要とせずに、これらすべてのWindowsアプリケーションを実行できるように、十分な数のWindowsを最初から再実装しようとしています。

意思決定手順ツールキット


Ad


DESCRIPTION

意思決定手順ツールキット (DPT) は、協力システムです。
満足可能性の質問に答えるための決定手順。 DPT
OCaml での実装は、次のような DPLL スタイルの SAT ソルバーで構成されます。
理論固有の決定手順。



Audience

科学/研究



プログラミング言語

OCaml(Objective Caml)


カテゴリー

電子設計自動化(EDA)、数学

これは https://sourceforge.net/projects/dpt/ から取得することもできるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。


無料のサーバーとワークステーション

Windows と Linux のアプリをダウンロード

Linuxコマンド

Ad