Il s'agit de la commande proofserv qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
preuveserv - PROOF (The Parallel ROOT Facility)
DESCRIPTION
En utilisant PREUVE (L' Parallèle ROIT Facility) on peut analyser des arbres en parallèle sur un cluster de
des ordinateurs. Les PREUVE système se compose du éprouvé(1) programme de fin qui est démarré
via inetd (8).
éprouvé s'occupe de l'authentification des utilisateurs et se superpose ensuite à la version souhaitée
des preuveserv(1) exécutable.
La preuveserv(1) est fondamentalement le même que le TRAITEMENT module interactif racine(1), sauf
qu'il lit ses commandes depuis un socket plutôt que depuis le terminal.
Puisqu'il s'agit d'un serveur distant, il ne fera pas de graphiques et n'est donc lié à aucun
bibliothèques graphiques (Motif, X11, etc.).
preuveserv est lancé par le démon éprouvé(1) sur demande de l'utilisateur. Ce n'est pas une commande
à exécuter directement par l'utilisateur.
Notez que si preuveserv est passé tous les arguments, il utilisera le libProofx interface,
plutôt que le Standard libProof interface.
Utilisez preuveserv en ligne en utilisant les services onworks.net
