name(reif).
title('Reified if, reification library').
version('1.0.0').
author('Ulrich Neumerkel', 'ulrich.neumerkel@tuwien.ac.at').
maintainer('Carlo Nucera', 'meditans@gmail.com').