name(smtlib).
title('SMT-LIB parser for SWI-Prolog').
version('0.0.6').
author('Jose Antonio Riaza Valverde', 'riaza.valverde@gmail.com').
maintainer('Jose Antonio Riaza Valverde', 'riaza.valverde@gmail.com').
packager('Jose Antonio Riaza Valverde', 'riaza.valverde@gmail.com').
home('https://github.com/jariazavalverde/prolog-smtlib').
download('https://github.com/jariazavalverde/prolog-smtlib').