packages
[ 原始碼： debian-science ]
套件： science-logic (1.15) [universe]
science-logic 的相關超連結
Ubuntu 的資源：
下載原始碼套件 debian-science：
維護者：
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Team (郵件存檔)
- Andreas Tille
- Ole Streicher
It should generally not be necessary for users to contact the original maintainer.
外部的資源：
- 主頁 [wiki.debian.org]
相似套件：
Debian Science Logic packages
其他與 science-logic 有關的套件
|
|
|
|
-
- dep: science-config (= 1.15)
- Debian Science Project config package
-
- dep: science-tasks (= 1.15)
- Debian Science tasks for tasksel
-
- rec: agda
- dependently typed functional programming language
-
- 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: drat-trim
- DART-trim satisfiability proof checker (binary utils)
-
- rec: gringo
- grounding tools for (disjunctive) logic programs
-
- rec: hol-light
- HOL Light theorem prover
-
- rec: hol88
- Higher Order Logic, system image
-
- rec: kissat
- Keep it simple and clean bare metal SAT solver
-
- 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
- Software verification platform
-
- rec: z3
- theorem prover from Microsoft Research
-
- sug: alt-ergo
- 套件暫時不可用
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: prover9
- 套件暫時不可用