Paket: science-logic (1.10)

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

  Debian Science - Konfigurationspaket

• dep: science-tasks (= 1.10)

  Debian Science tasks for tasksel

• rec: agda

  Abhängig typisierte, funktionale Programmiersprache

• rec: alt-ergo

  Automatischer Theorembeweiser zur Programmverifikation

• 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

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

  »grounding tools« für (disjunktive) Logikprogramme

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

  theorem prover and countermodel generator

• rec: sat4j

  Effiziente Bibliothek aus SAT-Solvern in Java

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

  Paket nicht verfügbar

• sug: mace2

  Paket nicht verfügbar

• sug: matita

  Paket nicht verfügbar

• sug: proofgeneral

  Paket nicht verfügbar

• sug: spass

  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	18,0 kB	38,0 kB	[Liste der Dateien]