Copyright (c) 2018-2019 by TU/e, PITC, and authors. See AUTHORS
for more details.

All rights reserved.

Different parts of openEPDA may be licensed under different terms. See
corresponding LICENSE files.