ソフトウェアの提出
  1. ホーム
  2. Windows
  3. 他
  4. Binary Decision Diagram

Binary Decision Diagram

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 2.2/5 - ‎6 ‎投票
ダウンロード

バイナリ決定図 (BDD) 表現を使用して完全なソフトウェア パッケージを生成し、設計最適化目標の論理マップを操作する {like(A+B)(C)(D)}C++ Core.C GUI で作成します。VB6 Verilog モジュール クイン マクラスキー多機能操作

バージョン履歴

  • バージョン ScreenShots に転記 2006-03-15
    いくつかの修正と更新
  • バージョン N/A に転記 2006-03-15

プログラムの詳細

関連プログラム

  • 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で書かれたもう一つのフォースシステムです。