RATH - Relation Algebra Tools in Haskell

RATH-1 is a collection of Haskell modules that allow exploration of (finite) relation algebras and several weaker structures such as categories, allegories, and Dedekind categories.

A first account on this tool set is the report ``Exploring (Finite) Relation Algebras Using Tools Written in Haskell'' by Wolfram Kahl and Gunther Schmidt.

The source code can be retrieved as RATH-1.0.tar.gz.

Contact: Wolfram Kahl