Paket: science-logic (1.14.2)

[ Quellcode: debian-science  ]

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.2)

  Debian Science - Konfigurationspaket

• dep: science-tasks (= 1.14.2)

  Debian Science tasks for tasksel

• rec: agda

  Abhängig typisierte, funktionale Programmiersprache

• rec: alt-ergo

  Automatic theorem prover dedicated to program verification

• 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: 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

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	20,5 kB	42,0 kB	[Liste der Dateien]