packages
[ Källkod: debian-science ]
Paket: science-logic (1.15) [universe]
Länkar för science-logic
Ubunturesurser:
Hämta källkodspaketet debian-science:
Ansvarig:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Team (E-postarkiv)
- Andreas Tille
- Ole Streicher
It should generally not be necessary for users to contact the original maintainer.
Externa resurser:
- Hemsida [wiki.debian.org]
Liknande paket:
Debian Science Logic packages
Andra paket besläktade med 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
- Paketet inte tillgängligt
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: prover9
- Paketet inte tillgängligt
Hämta science-logic
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| all | 3,6 kbyte | 30,0 kbyte | [filförteckning] |