TituRel is a language developed in conjunction with the book Relational Mathematics by Gunther Schmidt from Universität der Bundeswehr München.


My problem is that I can't find any info related to downloading this software.


Do you know where the TituRel software can be downloaded from? The [home page](https://titurel.org/TituRel/indexTituRel.html "Home Page") does not seem to show any download links.


Taken directly from the [home page](https://titurel.org/TituRel/indexTituRel.html "Home Page"):
*TituRel is a software system to work with relations. It offers various tools written in the functional programming language Haskell allowing to*


* *input/output relations from/to several forms of delivery*
* *formulate relational terms to be applied to such relations in a newly developed multilevel relational reference language*
* *analyze relations, decompose, permute, and partition them so as to obtain better information*
* *support proofs of relation-algebraic theorems with transformation capabilities and TeX printing*
* *switch between point-free form and component form with system support*
* *generate programs for the RelView system*



What happened to TituRel?
The [swMATH description](https://www.swmath.org/software/8501) 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.](https://www.informatik.uni-kiel.de/~progsys/relview/)


