packages
[ Quellcode: debian-science ]
Paket: science-logic (1.15) [universe]
Links für science-logic
Ubuntu-Ressourcen:
Quellcode-Paket debian-science herunterladen:
Betreuer:
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-Mail-Archiv)
- Andreas Tille
- Ole Streicher
It should generally not be necessary for users to contact the original maintainer.
Externe Ressourcen:
- Homepage [wiki.debian.org]
Ähnliche Pakete:
Debian Science Logic packages
Andere Pakete mit Bezug zu 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
- Paket nicht verfügbar
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: prover9
- Paket nicht verfügbar
science-logic herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 3,6 kB | 30,0 kB | [Liste der Dateien] |