Copyright:
  2016     , David Glesser <david.glesser@imag.fr>
  2016-2017, Millian Poquet <millian.poquet@inria.fr>
  2016     , Henri Casanova <henric@hawaii.edu>
  2016     , Pierre-François Dutot <pfdutot@imag.fr>
  2017     , Olivier Richard <olivier.richard@imag.fr>
  2017     , Michael Mercier <michael.mercier@inria.fr>
  2017     , Steffen Lackner <lackner@cs.tu-darmstadt.de>
License: LGPL-3.0
