argutia.logic.resolution
Classes 
Contexte
Maillon
MaillonClause
MaillonData
MaillonLitteral
Resolution
Enums 
Maillon.Etat
Resolution.Etat
Resolution.EtatApresSimplification