remaro-network/Maude_Metacontrol

Try to model a smart home, modelled with metacontrol, with Maude

Python