TITLE     : Contract automata library
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2021
CODE      : 456740

*** DO NOT EDIT THIS FILE ***