Project Description
Simple to use invariants, pre- and postconditions which use some of the new metaprogramming features in Python 3.