Il s'agit du testeur de clause de commande qui peut être exécuté dans le fournisseur d'hébergement gratuit OnWorks à l'aide de 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
clausetester - vérifier les formules dans les modèles
SYNOPSIS
testeur de clause <fichier-interprétations> <fichier-formules> >fichier-formules-annotées>
DESCRIPTION
Cette page de manuel documente brièvement les testeur de clause commander.
Ce programme prend un ensemble de interprétations et flux de formules. Pour chaque formule, le
les interprétations dans lesquelles la formule est vraie sont indiquées, et à la fin le nombre de
les formules vraies dans chaque interprétation sont montrées.
Utiliser clausetester en ligne à l'aide des services onworks.net
