<A HREF="https://www.swmath.org/software/8501">TituRel:</A> ***TituRel** has a common source with the widely known **RelView**. It is far less efficient, strictly functional, and visualization-oriented. A formal deployment has not yet taken place; it exists as a one-man endeavour.*

So I guess this explains why the software is not publicly available. The alternative ***RelView*** can be downloaded from <A HREF="https://www.informatik.uni-kiel.de/~progsys/relview/">here.</A>