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