Paket: science-logic (1.14.7)

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

  Debian Science - Konfigurationspaket

• dep: science-tasks (= 1.14.7)

  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: drat-trim

  DART-trim satisfiability proof checker (binary utils)

• rec: gringo

  »grounding tools« für (disjunktive) Logikprogramme

• rec: hol-light

  HOL Light theorem prover

• rec: hol88

  Logik höherer Ordnung - Systemabbild

• rec: kissat

  Keep it simple and clean bare metal SAT solver

• 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: coinor-libcoinmp-dev

  Simple C API for COIN-OR Solvers Clp and Cbc -- development

• sug: prover9

  Paket nicht verfügbar

science-logic herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	10,1 kB	31,0 kB	[Liste der Dateien]