PBDD version 0.01
=================
This module provides a Perl interface to the BuDDy 2.4 library for Binary Decision Diagrams. The interface is as close as possible to JBDD, a Java interface to the BuDDy and CUDD packages written by Arash Vahidi.
DEPENDENCIES
Before building the PBDD module, you must:
1) download the buddy-2.4 library from:
http://sourceforge.net/projects/buddy/
2) build and install buddy-2.4 as follows:
export CFLAGS='-fPIC -O2'
export CXXFLAGS='-fPIC -O2'
./configure --prefix=/my/buddy/home --disable-shared
make
make install
NOTE: /my/buddy/home stands for the directory where you unzipped buddy-2.4
INSTALLATION
First of all set the environment variable BUDDYPATH to the directory where you unzipped buddy-2.4, e.g.:
export BUDDYPATH=/my/buddy/home
Then type the following:
perl Makefile.PL
make
make test
make install
COPYRIGHT AND LICENCE
Copyright (C) 2011 by Gianluca Torta
This library is free software; you can redistribute it and/or modify
it under the same terms as Perl itself, either Perl version 5.12.3 or,
at your option, any later version of Perl 5 you may have available.
The interface design and part of the C code and documentation are modifications of the JBDD package by Arash Vahidi. A copy of the JBDD licence can be found in the directory licenses of this package.