A test framework for auction design
Auction Design is an applied branch of economics and game theory that deals with the behaviour of self-interested bidders in auctions.
Designers often want to design auctions that maximise revenue and incentivise bidders to bid an accurate reflection of how valuable they believe the items being sold are.
However, auction design is an intricate task, and it is often difficult to quickly prove that a proposed auction design doesn't have the desired properties. Many systems exist that allow software engineers to test their systems, however no system currently exists that allows auction designers to 'test' their auctions.
We propose a library for the programming language Haskell that attempts to automatically verify the properties of an auction using tests. We provide functionality that allows users to verify a wide variety of different mechanisms and helps users identify minimum failing scenarios that highlight why a mechanism fails.