name(trill).
title('A tableau probabilistic reasoner in three different versions').
version('7.0.1').
author('Riccardo Zese', 'zsercr@unife.it').
download('https://github.com/rzese/trill/releases/*.zip').
requires(bddem).