Il s'agit de la commande picosat 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
picosat - solveur SAT avec support de preuve et de base
SYNOPSIS
picosat [Options] fichier-entrée
DESCRIPTION
Cette page de manuel documente brièvement les picosat commander.
picosat est un solveur SAT avec des capacités de preuve et de base. Utilisez le picosat.trace binaire à
utilisent réellement ces capacités (celles-ci entraînent des frais généraux).
OPTIONS
-h Afficher le résumé des options.
--version
version imprimée et sortie
--config
imprimer la configuration de construction et quitter
-v activer la sortie détaillée
-f ignorer l'en-tête invalide
-n ne pas imprimer le devoir satisfaisant
-p imprimer la formule au format DIMACS et quitter
-i <0/1>
force FALSE respectivement TRUE comme phase par défaut
-a
commencer par une hypothèse
-l
fixer la limite de décision
-s
définir la graine du générateur de nombres aléatoires
-o
définir le fichier de sortie
-t
générer un fichier de trace de preuve compact (utilisez picosat.trace, voir ci-dessus).
-T
générer un fichier de trace de preuve étendu (utilisez picosat.trace, voir ci-dessus).
-r
générer un fichier de preuve de propagation unitaire inversée (utilisez picosat.trace, voir ci-dessus).
-c
générer un fichier de base de clause au format DIMACS (utilisez picosat.trace, voir ci-dessus).
-V
générer des variables de base de liste de fichiers
-U
générer un fichier listant les variables utilisées
Utiliser picosat en ligne en utilisant les services onworks.net
