[iris-reasoner-support] Internals

[Murat K. <mur...@st...>]

Hi all,

I intend to have a look at IRIS internals to gather some understanding 
on how a reasoner works (or on how this one does, anyway).
Which version would you recommend, the 0.5.7 tag or the trunk and why?

Thanks!

Murat