contract-analysis Analysis of the Coinffeine exchange algorithm. You can find more information in the Exchange Algorithm page