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.