Copyright (C) 2008 Akihiko Tozawa and Masami Hagiya.                
Copyright (C) 2009 2010 Pietro Abate <pietro.abate@pps.jussieu.fr   
                                                                    
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.  A special linking  
exception to the GNU Lesser General Public License applies to this  
library, see the COPYING file for more information.                 
