[ 原始碼： debian-science ]
套件： science-logic (1.14.2ubuntu1)
science-logic 的相關超連結
Trisquel 的資源：
下載原始碼套件 debian-science：
維護者：
Original Maintainers:
- Debian Science Team (郵件存檔)
- Andreas Tille
- Ole Streicher
外部的資源：
- 主頁 [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.14.2ubuntu1)
- Debian Science Project config package
-
- dep: science-tasks (= 1.14.2ubuntu1)
- Debian Science tasks for tasksel
-
- rec: agda
- dependently typed functional programming language
-
- rec: alt-ergo
- Automatic theorem prover dedicated to program verification
-
- rec: boolector
- SMT solver for bit-vectors and arrays
-
- rec: clasp
- conflict-driven nogood learning answer set solver
-
- rec: coinor-cbc
- Coin-or branch-and-cut mixed integer programming solver
-
- 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
- grounding tools for (disjunctive) logic programs
-
- rec: hol-light
- 套件暫時不可用
-
- rec: hol88
- Higher Order Logic, system image
-
- rec: lbt
- converts from LTL formulas to Büchi automata
-
- rec: maria
- reachability analyzer for Algebraic System Nets
-
- rec: maude
- high-performance logical framework
-
- rec: minisat+
- solver for pseudo-Boolean constraints
-
- rec: mona
- theorem prover based on automata
-
- rec: picosat
- SAT solver with proof and core support
-
- rec: proofgeneral
- generic frontend for proof assistants
-
- rec: sat4j
- Efficient library of SAT solvers in Java
-
- rec: spass
- automated theorem prover for first-order logic with equality
-
- rec: toulbar2
- Exact combinatorial optimization for Graphical Models
-
- rec: why3
- 套件暫時不可用
-
- 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: mace2
- 套件暫時不可用
-
- sug: matita
- 套件暫時不可用
-
- sug: prover9
- 套件暫時不可用
-
- sug: why
- 套件暫時不可用