Binary Decision Diagram
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/bdd-tree/files/ScreenShots/ScreenShots/Screenshot.zip/download
に関しては Binary Decision Diagram
バイナリ決定図 (BDD) 表現を使用して完全なソフトウェア パッケージを生成し、設計最適化目標の論理マップを操作する {like(A+B)(C)(D)}C++ Core.C GUI で作成します。VB6 Verilog モジュール クイン マクラスキー多機能操作
関連プログラム
-
Jeeva - Service Oriented Java Framework 無料
Jeeva は、開発者、管理者、ビジネス アナリスト向けの簡単な開発、導入、監査機能とは別に、フォールト トレラントなトランザクション機能を提供するサービス指向 Java フレームワークです。
-
SF.net BTS -> Bugzilla converter 無料
このプロジェクトは、ユーザーがsf.netのバグ追跡システム(BTS)からBugzilla(http://www.bugzilla.org)に切り替える手助けをするために存在します。それはSourceForge上のあなたのプロジェクトからバグをつかみ、自動的にあなたのBugzillaのインストールにそれらを追加します。その簡単な!
-
Terra-Mater 無料
プログラミング言語 : C++リブス : ZLib, ルア, SQlite,...プラットフォーム : Win32このゲームオーエントソフトウェアは、コーディング実験のための模範と実験室として書かされます。機能:- クリーン- よく文書化- クロスプレート- 良いアーキテクチャ
-
Teatrix 無料
Teatrixは、コラボレーションストーリー作成のための3D仮想環境です。これは、若い学生に識字の教えをサポートするために開発されています.ソフトウェアは、Java3Dをグラフィックスエンジンとして使用してJavaで構築されています。
-
CMS Extentions Room 無料
PHP CMS の機能強化、NUKE ベースの CMS ブロックとモジュール、アドオン。PHP コンテンツ管理の移植と改造。言語ファイルの英語とドイツ語への翻訳。
-
Simien Processor for Jackal 3.0 無料
ザイリンクス・スパルタンII FPGAにおけるジャッカル v3.0 ISA のオープンソース実装
-
Aptor 無料
コードを生成し、動的プロキシを駆動する Java 5 アノテーションを使用した迅速なアプリケーション開発のフレームワーク
-
graphz 無料
Graphz はグラフデータ構造を操作するためのライブラリです。最短パスなどのアルゴリズムを使用して、Graphz を解析できます。グラフは Java で書かれています。GWTと互換性があり、ブラウザでも実行できます。
-
OpenSpice Language Specification 無料
OpenSpice は、Spice プログラミング言語の進化するオープン仕様です。 2 つのオープン ソース実装が利用可能です。
-
B4 - Block Forth 無料
ブロックフォースは、完全にCで書かれたもう一つのフォースシステムです。