[ Source: debian-science ]
Пакунок: science-logic (1.10)
Links for science-logic
Debian Resources:
Download Source Package debian-science:
Maintainers:
External Resources:
- Homepage [wiki.debian.org]
Similar packages:
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 — задачі для tasksel
-
- rec: agda
- Функціональна мова програмування з залежними типами
-
- 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: 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: prover9
- theorem prover and countermodel generator
-
- rec: sat4j
- Efficient library of SAT solvers in 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
- Пакунок недоступний
Завантажити science-logic
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
all | 18.0 kB | 38.0 kB | [список файлів] |