Auction Theory Toolbox (ATT) For further information and contacting the developers, please go to the project homepage. The formalisations in this archive are subject to the ISC and CC-BY licences.