[ buster ]
[ ソース: ladr ]
パッケージ: ladr4-apps (0.0.200911a-2.1 など)
LADR 推論ライブラリ 雑多なアプリケーション群
LADR (Library for Automated Deduction Research) は、定理証明器を構築 するのに使えるライブラリです。条項に resolution and paramodulation など の推論規則を適用する機能を始め、様々な有用なルーチンを提供します。 LADR は prover9 定理証明器や mace4 反例モデル生成器に使われています。
このパッケージは、雑多な LADR アプリケーション群を提供します。
その他の ladr4-apps 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.7)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libladr4 (>= 0.0.200902a)
- LADR 推論ライブラリ
-
- dep: python
- 対話式の高レベルオブジェクト指向言語 (Python2 バージョン)
-
- rec: prover9-doc (<< 0.0.200902b)
- documentation for Prover9 and associated programs
- rec: prover9-doc (>> 0.0.200902a)