Dolphin Project 0.1.1
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/dolphin-project/files/Dolphin%20SAT/Dolphin%20SAT%200.1.1/dsat-0.1.1.tar.gz/download
に関しては Dolphin Project
Dolphinプロジェクトは、オープンソースのサティスフィアビリティソルバーツールとそれらに関連するツール(有限モデルチェッカーやソフトウェア検証ツールなど)に関連するツールを集約する研究プロジェクトを目的としています。
関連プログラム
-
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は、サウンド処理、分析、合成ソフトウェアの略です。インジェニアや検索者は、音分析(分光、ソナなど)、治療(フィルター、ノイズゲート)、合成(セプストラム)のためのパフォーマンスツールと同様に、使いやすいと同様に提供します。