Paquet : science-logic (1.10)

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

  paquet de configuration pour le projet Debian Science

• dep: science-tasks (= 1.10)

  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

  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

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

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

  démonstrateur de théorème et générateur de contre-exemples

• rec: sat4j

  bibliothèque de solveurs SAT en Java

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

  Paquet indisponible

• sug: mace2

  Paquet indisponible

• sug: matita

  Paquet indisponible

• sug: proofgeneral

  Paquet indisponible

• sug: spass

  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	18,0 ko	38,0 ko	[liste des fichiers]