libLogic
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://liblogic.cvs.sourceforge.net/liblogic
に関しては libLogic
libLogicは、人間の援助なしで、あらゆる論理理論において、あらゆる論理理論において正確かつ効率的に証明する、比類のない能力を持つ自動化された定理を証明するソフトウェアライブラリです。
関連プログラム
-
CMS Utilities 無料
cmsutils は、cms (Postnuke、Xaraya、..) モジュールの開発、作成、翻訳に役立つプログラムを提供します。デルファイ/キリックスで書かれた
-
luabridge 無料
Luabridge は、C++ の関数やクラスを Lua 環境にエクスポートするための、軽量で依存のないライブラリです。標準準拠の C++ テンプレート メタプログラミングを使用し、Lua 5.1.2 に対して記述されています。
-
svgconv 無料
svgconv は、SVG パスを C 形式に変換するコンテンツツールで、OpenVG で簡単に使用できます。
-
Mobile StrongBOX - Data Vault 無料トライアル
最高のデータ保護アプリケーション、モバイルStrongBOXは、写真やビデオ、パスワード、銀行口座のデータ、文書、およびあなたが保護する他の何かなどの個人情報の安全な保存のために設計されています。アプリケーションの主な目的は、データセキュリティであり、携帯電話用に最適化された強力な暗号システムを使用しています。データを非表示にするだけでなく、業界で最も強力な暗号化アルゴリズムで暗号化します。今日、私たちはどこへ行くにも携帯電話を持って行き
-
embedded Finite State Machine (eFSM) 無料
リアクティブシステムまたはステートフルシステムのモデル化と制御に使用できる、組み込み有限ステートマシン(FSM)ファシリティ。システムは、任意の数の状態で表すことができます。状態遷移は、いくつかのイベントによって駆動されます。eFSM は C で書かれています。
-
Albert 無料
アルバートは、JavadocとDoxygenに匹敵するコモンリスプのドキュメントジェネレータです。現在、DocBook ドキュメントを生成しています。ASDF システム定義を読み取り、システムを文書化します。
-
SETILog for Unix 無料
SETILog は、完成したSETI@home作業単位の統計をテキスト CSV ファイルに保存します。このファイルは、完成したワークユニットを追跡するために SETIWatch によって必要とされます。
-
HappyDoc 無料
HappyDocは、Pythonのソースコードからドキュメントを抽出するためのツールです。 これは、モジュールの解析ツリーを使用して情報を取得し、モジュールをインポートしないことによって、他のアプリケーションとは異なります。
-
OpenCL .Net 無料
このプロジェクトは2つのことを試みます。まず、OpenCL 1.1 仕様を可能な限り厳密に反映する OpenCL API へのバインディングを提供します。第二に、APIのより高いレベルの抽象化を提供します。ネットライク。
-
PAPAS: Path Planning Algorithm Suite 無料
PAPAS (パス計画アルゴリズムスイート) は、パス計画を目的としたアルゴリズムのセットです。PRM、RRT、ウェーブフロントプランナーなどの一般的なアルゴリズムがあります。実装はC言語で行われ、コードは約2年間開発されています。