icontract icontract provides design-by-contract to Python3 with informative violation messages and inheritance. It also gives a base for a flourishing