Paquet : science-logic (1.14.2)

[ Paquet source : debian-science  ]

Debian Science Logic packages

This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.

Autres paquets associés à science-logic

• dep: science-config (= 1.14.2)

  paquet de configuration pour le projet Debian Science

• dep: science-tasks (= 1.14.2)

  tâches de Debian Science pour tasksel

• rec: agda

  langage de programmation fonctionnel typé de façon dépendante

• rec: alt-ergo

  démonstrateur automatique dédié à la vérification de programme

• rec: boolector

  solveur SMT pour les vecteurs de bits et les tableaux

• rec: clasp

  solveur d'ensemble de réponses par apprentissage nogood basé sur les conflits

• rec: coinor-cbc

  solveur de programmes en variables mixtes par branch-and-cut COIN-OR

• rec: coinor-symphony

  solveur COIN-OR pour les programmes linéaires en nombres mixtes

• rec: coq

  outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)

• rec: cvc4

  automated theorem prover for SMT problems

• rec: depqbf

  solver for quantified boolean formulae

• rec: gringo

  outils de « grounding » pour des programmes logiques (disjonctifs)

• rec: hol-light

  démonstrateur de théorème HOL Light

• rec: hol88

  Higher Order Logic (logique d'ordre supérieur), image système

• rec: lbt

  Convertit des formules LTL en automates Büchi

• rec: maria

  analyseur d'accessibilité pour les réseaux de systèmes algébriques

• rec: maude

  cadriciel logique de haute performance

• rec: minisat+

  solveur de contraintes pseudo booléennes

• rec: mona

  démonstration automatique de théorèmes

• rec: picosat

  solveur SAT avec gestion de démonstrations et « core »

• rec: proofgeneral

  frontal générique d’assistants de preuve

• rec: sat4j

  bibliothèque de solveurs SAT en Java

• rec: spass

  démonstrateur automatique de théorème pour la logique du premier ordre avec égalité

• rec: toulbar2

  Exact combinatorial optimization for Graphical Models

• rec: why3

  plateforme de vérification logicielle

• rec: z3

  justificateur de théorème de Microsoft Research

• sug: coala

  Paquet indisponible

• sug: coinor-libcoinmp-dev

  API C simple pour les solveurs Clp et Cbc de COIN-OR – fichiers de développement

• sug: cvc3

  Paquet indisponible

• sug: mace2

  Paquet indisponible

• sug: matita

  Paquet indisponible

• sug: prover9

  Paquet indisponible

• sug: why

  Paquet indisponible

Télécharger science-logic

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	20,5 ko	42,0 ko	[liste des fichiers]