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
- Пакет недоступен
Загрузка science-logic
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| all | 3,6 Кб | 30,0 Кб | [список файлов] |