Logique pour l'informatique
Instruction pour me soumettre le projet de logique :
Utiliser le script envoierprojet.sh
:
$ ./envoierprojet.sh --help
Usage : ./envoierprojet.sh repertoire_avec_votre_projet_de_logique
Ne pas utiliser d'autres méthodes.
Outils pour tester le projet :
Le programme formuleahasard.c
engendre des ensembles de clauses à hasard.
$ ./formuleahasard
Usage : ./formuleahasard [-vp] max_clauses max_lits_per_clause
-v : verbose
-p : pretty
$ ./formuleahasard -vp 5 5
{
(l+o+i),
(!m+x+c),
(!s+!e+y+p+a),
(!g+z+!y)
}
Longueur de la chaîne : 51
Luigi Santocanale
Dernière modification : Tue Nov 16 23:34:05 CET 2004