[ Quellcode: debian-science ]
Paket: science-logic (1.14.5)
Links für science-logic
Debian-Ressourcen:
Quellcode-Paket debian-science herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [wiki.debian.org]
Ähnliche Pakete:
Debian Science - Logik-Pakete
Dieses Metapaket ist Teil des Debian Pure Blends »Debian Science« und installiert Pakete mit Bezug zur Computational Logic. Es enthält Werkzeuge zur Umformung von Formeln und zur Lösung von Formeln für verschiedene Logiken, interaktive Beweissysteme (proof systems) usw.
Andere Pakete mit Bezug zu science-logic
|
|
|
|
-
- dep: science-config (= 1.14.5)
- Debian Science - Konfigurationspaket
-
- dep: science-tasks (= 1.14.5)
- Debian Science tasks for tasksel
-
- rec: agda
- Abhängig typisierte, funktionale Programmiersprache
-
- rec: boolector
- SMT-Solver für Bit-Vektoren und 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
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
-
- rec: cvc4
- automated theorem prover for SMT problems
-
- rec: depqbf
- solver for quantified boolean formulae
-
- rec: gringo
- »grounding tools« für (disjunktive) Logikprogramme
-
- rec: hol-light
- HOL Light theorem prover
-
- rec: hol88
- Logik höherer Ordnung - Systemabbild
-
- rec: lbt
- Konvertiert LTL-Formeln zu Büchi-Automaten
-
- rec: maria
- Erreichbarkeitsanalyse für Netze algebraischer Systeme
-
- rec: maude
- high-performance logical framework
-
- rec: minisat+
- solver for pseudo-Boolean constraints
-
- rec: mona
- Theorem-Beweiser auf Grundlage von Automaten
-
- rec: picosat
- SAT solver with proof and core support
-
- rec: proofgeneral
- Generisches Frontend für Beweisassistenten
-
- rec: sat4j
- Effiziente Bibliothek aus SAT-Solvern 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
- Theorembeweiser von Microsoft Research
-
- sug: alt-ergo
- Paket nicht verfügbar
-
- sug: coala
- Paket nicht verfügbar
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: cvc3
- Paket nicht verfügbar
-
- sug: mace2
- Paket nicht verfügbar
-
- sug: matita
- Paket nicht verfügbar
-
- sug: prover9
- Paket nicht verfügbar
-
- sug: why
- Paket nicht verfügbar
science-logic herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 10,2 kB | 31,0 kB | [Liste der Dateien] |