a PYthon library for COntract based design This library provide a minimal set of tools to experiment with Contracts and other concepts related to Contract Based Design.