ConForM.CoopnTools.CoKer.CoopnTest.Cons2Logic
Classes 
Cons2Logic
ConsPlNameMgr
ConstraintsTranslationStrategy