LoTREC: possible worlds finally made accessible

Download the LoTREC 2.0 executable package