toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : debian-science  ]

Paquet : science-logic (1.10)

Liens pour science-logic

Screenshot

Ressources Debian :

Télécharger le paquet source debian-science :

Responsables :

Ressources externes :

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

  • dépendances
  • recommandations
  • suggestions
  • enhances

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