22 lines
505 B
Text
22 lines
505 B
Text
#
|
|
# PROJET DE LOGIQUE : Monsieur Somme et Madame Produit.
|
|
# Magistère Stic, Module Logique. 2002-2003.
|
|
# Cours de R. Treinen et H.Comon
|
|
#
|
|
#-------------------------------------------------------------------%
|
|
#
|
|
# Projet de Glenn ROLLAND
|
|
#
|
|
# pour plus de détails au sujet du raisonnement, voir le
|
|
# fichier README.enonce
|
|
#
|
|
# pour la compilation et execution du projet, veuillez
|
|
# vous référer au fichier README.compilation
|
|
|
|
Pour compiler le projet, taper
|
|
|
|
make
|
|
|
|
Pour l'executer
|
|
|
|
./gsp
|