#  
#  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