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).