PyDBC provides support for method precondition,
method postcondition, and class invariant
contracts in Python 2.2 and above. These features
are implemented as a pure Python module, and
impose no run-time overhead when disabled.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.