This program uses the relation-algebra library (https://github.com/coq-contribs/relation-algebra/tree/v8.5) to solve relation algebra queries of the Hahn library (https://github.com/vafeiadis/hahn). Specifically, it contains a tactic "kat_solve" that:
- converts a Hahn query into a relation-algebra lib query.
- calls the tactic "kat" in the relation-algebra library to solve the query.