QuickSAT - step_SATdb

関連プログラム

• Metadata Expert 無料トライアル

  .NET フレームワークのメタデータ ブラウザー。プログラムの特徴: アセンブリ グループ;型継承ツリー、型入れ子ツリー、型構築ツリー。タイプフィルター。アセンブリ、名前空間、型、および公開キーの詳細情報。印刷プレビューで印刷します。

• Sound Spectrum Analyzer (Free) 無料トライアル

  サウンドスペクトラムアナライザ(無料)/SS A(無料)デバイスのマイク入力の周波数分析。機能：- 調整可能なリン/丸振軸。- 調整可能なリン/ログ周波数軸。- 調節可能な振幅/フリュークスケール(ドラッグ/ピンチズーム)。- 調整可能なマーカー。- 調整可能な平均。- 一時停止/再開します。- 44100 Hzサンプルレート/ 8192サンプル / 5.4 Hz解像度。- 調整可能な画面の向き(縦/

• Wisp interpreter 無料

  Wispは、さまざまな構造化データ処理ツールで簡単に使用できるように設計された小さなスキームのような言語です。アクセントは、シンプルさ、自動生成性、および効率にあります。(現在は長い休止中。ゴーシュも同様の目標を持ち、成熟しています。

• bissa 無料

  Bissa ( ) は、オープンソースの拡張性の高いタプル空間実装です。

• xUnit - Unit Testing Framework 無料

  xUnit は、XP スタイルの単体テスト フレームワークです。xUnit は、フロントエンドとアプリケーションにリンクされたテスト ドライバーを表示するフロントエンドとの間のプロトコルを使用します。

• sister 無料

  姉妹はSoC設計のためのハイレベルシンセサイザーです。これは、(C++ 言語に基づいて) SystemC のソース コードを分析し、Verilog HDL ソース コードを作成します。

• Console GUI Library 無料

  コンソール GUI ライブラリ、 TurboVision に似ていますが、Win32/DOS のサポート

• OsZ 無料

  OsZ - アセンブリ言語で書かれたマイクロカーネル操作スステム。少なくとも 4MB または RAM と x386 (またはそれ以上の x86 互換) プロセッサを搭載した IBM-PC 互換のコンピュータが必要です。

• GameBots: Agents in Computer Games 無料

  GameBotsは、コンピュータゲーム用の人工的にインテリジェントな自律エージェントを構築するための研究指向のプラットフォームです。コンピューター ゲーム環境でのセンシングと動作、エージェントのベンチマーク実装へのインターフェイスを提供します。

• QUnit 無料

  これは、C++ の単体テスト フレームワークです。しかし、QUnit は 50 行のコードのように感じ、開発環境にうまく統合され、ベルやホイッスルは含みなくなります。QUnit はイディオムに似ていますが、必要なときに実装するだけです。