ソフトウェアの提出
  1. ホーム
  2. Windows
  3. 他
  4. Dolphin Project

Dolphin Project 0.1.1

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

Dolphinプロジェクトは、オープンソースのサティスフィアビリティソルバーツールとそれらに関連するツール(有限モデルチェッカーやソフトウェア検証ツールなど)に関連するツールを集約する研究プロジェクトを目的としています。

バージョン履歴

  • バージョン Dolphin%20SAT%200.1.1 に転記 2008-03-02
    いくつかの修正と更新
  • バージョン Dolphin SAT 0.1.1 に転記 2008-03-02

プログラムの詳細

関連プログラム

  • Object Kernel and RunTime Library 無料

    これは小さな教育ライブラリです:オブジェクト、クイックメモリアロケーター、ネットワークマーシャル/アンマーシャル、ダイナミックモジュール、デバッグ、私たちのオブジェクトとmozilla javascriptまたはpythonオブジェクト間の迅速かつ汚い双方向リンクのような世間話.そして非常にポータブル!

  • College StatsPac Calculator 無料

    グラフ化以上のものを期待!- 全額払い戻し、App!^_^に満足していない場合は24時間!-包括的な統計--完全なグラフ化パッケージ付き-統計パックは次の機能を提供しています。8 離散確率関数、7 連続確率関数、1&2-サンプル信頼区間1&2-サンプル仮説検定T検定、分散分析による回帰分析動的リスト、階乗、nCr、nPr、定義、数式、動的ヒストグラムおよび箱ひげ図単語プロンプト、画面上の

  • TOEIC () 600 無料

    ロジトーク(リスニング) - (TOEIC) 600.(リスニング) .#39;トーアイク()600' 600 ..スクリプト。ロジトーク ? , , .

  • UniquePrimer 無料

    ユニークなPCRプライマーのバッチ設計のためのシンプルなPythonコマンドラインスクリプト。プライマーは、プライマー3を使用して設計され、カスタムデータベース(例えばゲノム)に対して爆破される。一致する一致の固有のプライマーのみが返されます。

  • A Prosperous Way Down 無料トライアル

    コロラド大学出版局が発行した繁栄した道今日このDRMフリーの電子ブックを購入!アルディコが搭載。繁栄したウェイダウンは、より公平で協力的な世界社会のための勧告を含め、化石燃料の少ない未来が平和で繁栄する方法を考えます。

  • DICOM Confidential 無料

    DICOM社外秘プロジェクトは、異なる識別の要件を考慮するために必要な柔軟性を提供するオープンソースDICOM(医学におけるデジタルイメージングとコミュニケーション)の識別解除ツールキットを開発しています。

  • MPVS 無料

    仕様、ループ不変性、およびサブ問題への分解に基づいて、古典的なプログラミング方法論を深く理解するのに役立つ実用的なツール。

  • DuMP3 - duplicate & similar file finder 無料

    DuMP3 は、重複したファイルファインダーと同様のファイル・ファインダーです。それは、波のデータによって色とオーディオファイル(MP3、WAV、OGGなど)による、ハッシュ、部分文字列の内容による類似のテキストファイル、画像(JPG、BMP、GIF、PNGなど)によって正確に重複したバイナリを見つけます。未来:フォント、ビデオ。

  • AU FLUKA Tools 無料

    モンテカルロ粒子輸送コードFLUKA(www.fluka.org)の補助ツールを提供します。

  • STAS Software 無料

    STASSは、サウンド処理、分析、合成ソフトウェアの略です。インジェニアや検索者は、音分析(分光、ソナなど)、治療(フィルター、ノイズゲート)、合成(セプストラム)のためのパフォーマンスツールと同様に、使いやすいと同様に提供します。