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