Copyright (C) 2020 Cyril Cohen (Inria) Kazuhiko Sakaguchi (University of Tsukuba) Enrico Tassi (Inria) This software is released under the terms of the MIT license, see LICENSE file.