CRPC 0.7.6-090920

関連プログラム

• Parallel Sat4J 無料

  これは学術プロジェクトです。主な目的は、CNF式を並列化するアルゴリズムを生成し、その後、このプロジェクトのためにソルバーとしてSat4Jを使用することを選択した、シーケンシャルSATソルバーに分散部品を供給することです。

• Yamwi 無料

  さらに別のマキシマウェブインターフェイス。バッチモードでウェブ経由でマキシマプログラムを実行します。数学の結果は、ASCII アート スタイルまたは TeX ベースのバイナリで返されます。

• UIChart iOS component 無料トライアル

  Rustemsoft UIChart コントロールを使用すると、円、棒、線、円柱、面、およびその他のグラフの種類を含むさまざまなグラフの種類で複雑な統計または財務分析のためのシンプルで直感的な、視覚的に説得力のあるグラフを使用して iOS アプリを作成できます。UIChart コントロールを使用して、少量のデータのグラフを表示したり、非常に大きなデータ セットのグラフを表示するようにスケーリングしたりできます。グラフ オブジェクトは、互いに隣接し

• LAAAD 無料

  これは、Active Directory を拡張し、Linux ホストの LDAP/SSL 認証をサポートし、Linux ユーザー用のローカル ホームディールフットプリントをセットアップし、ログイン時に smbfs リモートホームディールをマウントできるようにするモジュールと HOWTO のコレクションです。

• ARAStoUML 無料

  アラストムラは、アラスイノベーターデータモデルとUML間の相互作用のプロジェクトです

• Ira DB Manager 無料

  このプロジェクトの目的は、DBA と開発者が Access データベースを比較、同期、および管理できるようにすることです。また、将来の計画では、ファイルの各テーブルに対して、INSERT/SELECT/UPDATE/DELETE アクション用の SQL コンプラント ステートメントを生成する予定です。

• Another Korean Keyboard 無料トライアル

  韓国語だけでなく、韓国語で頻繁に使用される中国語や記号を入力する別のハングル(韓国語)IME。

• SimpleCM 無料

  SimpleCM は、ユーザーが簡単に変更できるように設計されたシンプルなコンテンツマネージャです。それはユーザーを念頭に置いて設計されています。これは、SimpleCM を設定するのに役立つ管理インターフェイスで出荷されます。

• kernel/userspace shared memory driver 無料

  mbuff.o モジュールおよび /dev/mbuff は、ユーザー空間内でマップするために vmalloc を使用してカーネルに割り当てられたメモリを共有メモリデバイスとして使用することを意図しています。RT-Linux タスク/ユーザー空間通信には特に推奨されます。

• Rich Web Application Development Tool 無料

  本プロジェクトは、ラズロOpenserverを使用して、リッチウェブアプリケーションの開発を簡素化することを目的としています。プロジェクトの当初の目的は、データベースアプリケーションを生成する可能性を実証することだけでした。しかし、我々は今、より高い目標を持っています。