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