name(hash_consing).
version('0.1.0').
title('Hash-consed terms by clause rewriting').
keywords([interning, 'hash-consing', trie, term_expansion]).
author('Yang, Bo', 'yang-bo@yang-bo.com').
home('https://github.com/Atry/hash_consing').
download('https://github.com/Atry/hash_consing.git').