name(egraph).
title('E-Graphs and Equality Saturation for SWI-Prolog').
version('0.2.0').
author('Kwon-Young Choi', 'kwon-young.choi@hotmail.fr').
maintainer('Kwon-Young Choi', 'kwon-young.choi@hotmail.fr').
packager('Kwon-Young Choi', 'kwon-young.choi@hotmail.fr').
home('https://github.com/kwon-young/egraph').
download('https://github.com/kwon-young/egraph/releases/*.zip').
provides(egraph).
requires(prolog >= '9.3.23').