|
|
|
@ -1,3 +1,12 @@
|
|
|
|
|
(**************************************************************************)
|
|
|
|
|
(* Copyright (C) 2012 Pietro Abate <pietro.abate@pps.jussieu.fr> *)
|
|
|
|
|
(* Copyright (C) 2012 Johannes Schauer <j.schauer@email.de> *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* This library is free software: you can redistribute it and/or modify *)
|
|
|
|
|
(* it under the terms of the GNU Lesser General Public License as *)
|
|
|
|
|
(* published by the Free Software Foundation, either version 3 of the *)
|
|
|
|
|
(* License, or (at your option) any later version. *)
|
|
|
|
|
(**************************************************************************)
|
|
|
|
|
|
|
|
|
|
open Graph
|
|
|
|
|
open ExtLib
|
|
|
|
|