RedSam
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/redsam/files/redsam/RedSam/RedSamV1.zip/download
に関しては RedSam
2008 年の CSP/MaxCSP/WCSP ソルバーコンペティションに採用されている、バイナリ制約の問題解決、現在の形式 XCSP 2.1 の XML 入力ファイル。ソルバーは C++ で、ブースト ライブラリを使用します。
関連プログラム
-
VSource PHP Image Reflection Script 無料
このPHPイメージリフレクションスクリプトは、生成された反射を持つ画像を出力しますこれは単に他のパラメータの中で画像パラメータを取り、ブラウザに表示するための生の画像を出力します。入力形式をサポート: GIF, JPG, PNG, PDF
-
wmpower 無料
wmpower は、ユーザーが自分のラップトップの電源管理の状態を表示 (および設定) できるように、Linux 用のウィンドウメーカーのドックアプリケーションです。C で書かれ、 APM と ACPI が有効なカーネルの両方で動作します。また、東芝のハードウェアに直接接続します。
-
FortCUDA 無料
このプロジェクトは、Fortran 2003 ISO_C_BINDINGSモジュールを使用した F95/2003 の CUDA バインディング用です。Fortran 2003 の CUDA SDK に近いネイティブ呼び出し構文を提供することを目的としています。現在、ほとんどの Fortran コンパイラはISO_C_BINDINGS モジュールをサポートしています。
-
Neurophysiology Analysis Toolkit 無料
神経生理学的データの分析のためのオープンソースパッケージ - 単一ニューロンスパイクトレインまたは行動および記憶プロセスに関連する脳科学データのオフライン(対リアルタイム)処理。現在、いくつかのWindows固有のコードで、重いMATLAB。
-
Lojban Glossary Builder 無料
Javaプログラムは、任意の与えられたLojbanテキスト内の一意の単語の(潜在的に多言語)用語集を作成する。
-
Eclipse XML based SRS 無料
EMF 2.0 は、外部ドキュメントと生成されたソフトウェアコンポーネントへのリンクを持つ XML ベース、ユース ケース中心、ソフトウェア要件仕様を生成する Eclipse プラグインを生成します。洗練された html レポートを生成します。http://xmlbasedsrs.tigrisに基づく
-
Fitnium 無料
FitNesseとSeleniumの組み合わせは、誰も開発者がFitnesseフレームワークを通じて実行される平易な英語でセレンテストを書くことを可能にするドメイン固有の言語を提供します。サポートhttp://groups.google.com/group/fitnium
-
Kyumo: Kyu Jong Memo Widget 無料トライアル
機能:- 画面上に複数のメモを置くことができます- 以来./へ日のカウント/カウントダウンがサポートされています- 3色を選ぶことができます●キュジョンとSS501のアイコンセット- D-1とD-0にカウントダウンすると、通知が表示されますあなたのホーム画面にウィジェットを追加する方法:http://www.brighthub.com/mobile/google-android/articles/48646.asp
-
The Pirate Bay Browser 無料
このアプリケーションは、デバイスから任意の個人情報を取得しません***広告は、このアプリケーションを無料で維持するものです, GPSの許可は、広告機能によって必要とされ、これは広告機能が自分の場所に応じてユーザーに広告をターゲットにするため、他の何もしません。ご質問や懸念がある場合は、電子メールの開発者に自由に感じなさい!検索して、お気に入りの映画をダウンロードし、あなたのAndroidデバイスにまっすぐに、世界的に有名な海賊湾から.トップ100
-
axdistcc 無料
axdistccは、distccを持つ小さなliveCDであり、コンパイルファームの作成を容易にします。Slackware Linux 11.0 と変更された Linux-live スクリプトを基本システムとして使用します。