TituRel: 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 here.

The swMATH description says that: 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 here.