name(eunify).
version('0.1').
title('Finite domain semantic unification'). 
keywords([equational_unification, constraints, clpfd]).
author('Geoffrey Churchill', 'geoffrey.a.churchill@gmail.com').
home('https://github.com/GeoffChurch/eunify').