COHDA

In this module COHDA [HS17] is implemented using the coalition and negotiations module of the mango_library. As an addition the termination detection from [Hua89] is used.

A full example of a COHDA negotiation can be found under /tests/integration_test/test_cohda.py.