[ Zdroj: debian-science ]
Balík: science-logic (1.14.2)
Odkazy pre science-logic
Zdroje Debian:
Stiahnuť zdrojový balík debian-science:
Správcovia:
Externé zdroje:
- Domovská stránka [wiki.debian.org]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom science-logic
|
|
|
|
-
- dep: science-config (= 1.14.2)
- Debian Science Project config package
-
- dep: science-tasks (= 1.14.2)
- 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
- učiaci sa riešiteľ sady odpovedí nogood riadený konfliktami
-
- 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
- asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)
-
- rec: cvc4
- automated theorem prover for SMT problems
-
- rec: depqbf
- solver for quantified boolean formulae
-
- rec: gringo
- nástroje na uzemnenie programov (disjunktnej) logiky
-
- rec: hol-light
- HOL Light theorem prover
-
- 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
- výkonná knižnica riešiteľov SAT v Jave
-
- 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: coala
- Balík nie je dostupný
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: cvc3
- Balík nie je dostupný
-
- sug: mace2
- Balík nie je dostupný
-
- sug: matita
- Balík nie je dostupný
-
- sug: prover9
- Balík nie je dostupný
-
- sug: why
- Balík nie je dostupný
Stiahnuť science-logic
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| all | 20.5 kB | 42.0 kB | [zoznam súborov] |