Ocaml bindings for the buddy BDD library
http://buddy.wiki.sourceforge.net/

This code is a fork of the bindings downloaded from
http://nicosia.is.s.u-tokyo.ac.jp/members/hagiya/xml/readme.htm#buddy on
2008/11/16

The original authors of these bindings are Akihiko Tozawa and Masami Hagiya.
The author granted via personal communication the right to release the software
as open source.

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.                 

Mon Apr 12 2010 Pietro Abate <pietro.abate@pps.jussieu.fr>
