name(unionfind).
title('Optimal implementation of the union-find algorithm in CHR').
version('1.0.0').
author('Tom Schrijvers', 'Tom.Schrijvers@UGent.be').
author('Thom Fruehwirth', 'Thom.Fruehwirth@uni-ulm.de').