COPYING

   1 Tree Automata TOOlkit (TATOO) library
   2 All files Copyright (C) Kim Nguyen except otherwise specified at the top
   3 of the file or in the "Exceptions" section of this file.
   4
   5 This software is free software; you can redistribute it and/or
   6 modify it under the terms of the GNU Lesser General Public
   7 License version 3, with the special exception on linking
   8 described in file LICENSE.
   9
  10 This software is distributed in the hope that it will be useful,
  11 but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  13
  14
  15 Exceptions:
  16 src/ptset.ml and src/ptset.mli, are derived work. Original copyright
  17 (C) Jean-Christophe Filliâtre. These file are covered by the
  18 GNU Lesser General Public License version 2.1, with the special exception
  19 on linking described at: http://www.lri.fr/~filliatr/ftp/ocaml/ds/LICENSE