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