[ ソース: debian-science ]
パッケージ: science-logic (1.10)
science-logic に関するリンク
Debian の資源:
debian-science ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [wiki.debian.org]
類似のパッケージ:
Debian Science Logic packages
This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.
その他の science-logic 関連パッケージ
|
|
|
|
-
- dep: science-config (= 1.10)
- Debian Science Project config package
-
- dep: science-tasks (= 1.10)
- Debian Science tasks for tasksel
-
- rec: agda
- 依存型付けされた関数プログラミング言語
-
- rec: alt-ergo
- Automatic theorem prover dedicated to program verification
-
- rec: boolector
- ビットベクトルおよび配列向け SMT ソルバー
-
- rec: clasp
- conflict-driven nogood learning answer set solver
-
- rec: coinor-cbc
- Coin-or branch-and-cut 混合整数プログラミングソルバ
-
- rec: coinor-symphony
- COIN-OR solver for mixed-integer linear programs
-
- rec: coq
- proof assistant for higher-order logic (toplevel and compiler)
-
- rec: cvc4
- automated theorem prover for SMT problems
-
- rec: depqbf
- solver for quantified boolean formulae
-
- rec: gringo
- (選言的) 論理プログラムのためのグラウンディングツール
-
- rec: hol88
- Higher Order Logic, system image
-
- rec: lbt
- LTL 論理式から Büchi オートマトンに変換
-
- rec: maria
- reachability analyzer for Algebraic System Nets
-
- rec: maude
- high-performance logical framework
-
- rec: minisat+
- solver for pseudo-Boolean constraints
-
- rec: mona
- オートマトンを基にした定理証明ツール
-
- rec: picosat
- proof と core サポート付き SAT ソルバ
-
- rec: prover9
- theorem prover and countermodel generator
-
- rec: sat4j
- 効率的な SAT ソルバー ライブラリ Java 版
-
- rec: toulbar2
- Exact combinatorial optimization for Graphical Models
-
- rec: why3
- Software verification platform
-
- rec: z3
- theorem prover from Microsoft Research
-
- sug: coala
- パッケージは利用できません
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: cvc3
- パッケージは利用できません
-
- sug: hol-light
- パッケージは利用できません
-
- sug: mace2
- パッケージは利用できません
-
- sug: matita
- パッケージは利用できません
-
- sug: proofgeneral
- パッケージは利用できません
-
- sug: spass
- パッケージは利用できません
-
- sug: why
- パッケージは利用できません