Projet yacc et logique

Logique propositionnelle

• Version 0 : logique0.0.y
• Version 1 : logique0.1.y et logique0.1.l (cf aussi Makefile)
   
• Bibliothèque pour la version 2 : modeleProp.h, modeleProp.o (télécharger directement avec le bouton droit)
  La version C, pour ceux que cela intéresse : modeleProp.c (bouton droit ou <shift> + bouton gauche)
• Version 2 : logique0.2.y et logique0.2.l

Logique des prédicats