Parallel Sat4J 0.01
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/parallelsat4j/files/parallelsat4j/0.01/org.tar.gz/download
に関しては Parallel Sat4J
これは学術プロジェクトです。主な目的は、CNF式を並列化するアルゴリズムを生成し、その後、このプロジェクトのためにソルバーとしてSat4Jを使用することを選択した、シーケンシャルSATソルバーに分散部品を供給することです。
関連プログラム
-
Visualgos 無料
ビジュアルゴは、Flash で記述されたアルゴリズムの視覚化のコレクションです。http://yuval.bar-or.org/index.php?item=7のすべての視覚化を表示できます。
-
wxWorkshop 無料
wxWorkshop は、C++ と Python (wxPython) の wxWidgets クロスプラットフォームの GUI フレームワークに基づいてアプリケーションを開発するための IDE フレームワークと RAD ツールです。アプリケーションの GUI リソースを視覚的に設計するための高性能エディタを備えています。
-
Unit Test Framework 無料
両方の Windows 用の C++ 単体テスト フレームワーク唯一の利用するグラフィカルおよびコンソール表示すべての Windows C++ との互換性を支援する Windows APIコンパイラとフレームワーク
-
Contact: AndroidBinding Demo 無料トライアル
これは、公式のAndroidの連絡先マネージャのサンプルに基づいているAndroidのバインディングのための別のデモです: http://developer.android.com/resources/samples/ContactManager/index.htmlこれは、Android のバインドを使用して、ユーザー インターフェイス コードの必要性を簡素化する方法を示す例を元のサンプル コードに表示します。ソース コードは、次
-
Poetica Studios Java Library 無料
すべてのポエティカスタジオJavaソフトウェア製品で使用される一般的なJavaライブラリ。 ライブラリには、シリアル化から配列、デバッグまで使用されるユーティリティが含まれており、オブジェクト ポインタやストアド アクションなど、多くの有用なクラスが含まれています。
-
Remote Code Execution for BlueJ 無料
このプロジェクトは、ブルーJ Java IDE を拡張します。BlueJの拡張APIを通じてBlueJインターフェイスにネットワーク機能を追加することを目的としています。BlueJは新しいプログラマにJavaを教えるのに最も適しているので、このプロジェクトは教育に焦点を当てます。
-
Radiation calculator 無料トライアル
アプリは、真空のポイントソースを想定し、シールド材料の線形減衰を仮定して、線量率などを計算します。同位体やシールド材は、追加、削除、または修正することができます。定義済みのガンマ速度定数と減衰係数が Web 上で見つかりました。私は正しい事前定義された値を保証しません。
-
Fermion Programming Language 無料
Fermion プログラミング言語は、動的な高レベル、オブジェクト指向、大文字小文字を区別しないプログラミング言語です。言語のシンプルさは、フェルミオンをすべてのレベルのプログラマーにとって良い学習とプロトタイピング言語にします。
-
Nmdepend 無料
Nmdepend は、C++ 用の軽量な 'リンクタイム' 依存関係アナライザーです。ソースコードの代わりにオブジェクトファイルとライブラリを入力として使用します。「ディレクトリ間」の依存関係を管理するのに役立ちます。依存関係は Graphviz と組み合わせて視覚化できます。
-
Awakener 無料
Awakenerは、遺伝的アルゴリズム(業界の問題の90%に対するターンキーアルゴリズム)を使用して、実用的で現実世界の最適化問題を解決するためのJavaライブラリを提供することを目指しています。覚醒者は、特定のアルゴリズムで夢遊病者を拡張します。