[ Paquet source : debian-science ]
Paquet : science-logic (1.14.7)
Liens pour science-logic
Ressources Debian :
Télécharger le paquet source debian-science :
Responsables :
- Debian Science Team (Page QA, Archive du courrier électronique)
- Andreas Tille (Page QA)
- Ole Streicher (Page QA)
Ressources externes :
- Page d'accueil [wiki.debian.org]
Paquets similaires :
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.7)
- paquet de configuration pour le projet Debian Science
-
- dep: science-tasks (= 1.14.7)
- tâches de Debian Science pour tasksel
-
- rec: agda
- langage de programmation fonctionnel typé de façon dépendante
-
- 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: drat-trim
- DART-trim satisfiability proof checker (binary utils)
-
- 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: kissat
- Keep it simple and clean bare metal SAT solver
-
- 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: alt-ergo
- Paquet indisponible
-
- sug: coinor-libcoinmp-dev
- API C simple pour les solveurs Clp et Cbc de COIN-OR – fichiers de développement
-
- sug: prover9
- Paquet indisponible
Télécharger science-logic
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 10,1 ko | 31,0 ko | [liste des fichiers] |