pycontractor (pypi): Design By Contract library
Keywords: Design|Contract|ContractProgramming