Il s'agit de la commande sat4j 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
sat4j - bibliothèque efficace de solveurs SAT en Java
SYNOPSIS
sat4j fichier-entrée
DESCRIPTION
Cette page de manuel documente brièvement les sat4j commander.
sat4j est une bibliothèque efficace pour les solveurs SAT écrits en Java.
Un premier ensemble de documentation peut être trouvé à l'adresse http://www.sat4j.org/doc.php (en
en particulier le « guide de démarrage » est recommandé). Cette documentation n'est pas expédiée
dans l'emballage car il n'est pas exempt de DFSG.
Utilisez sat4j en ligne en utilisant les services onworks.net
