AI-PBDD
view release on metacpan or search on metacpan
"t",
"inc"
]
},
"prereqs" : {
"build" : {
"requires" : {
"ExtUtils::MakeMaker" : 0
}
},
"configure" : {
"requires" : {
"ExtUtils::MakeMaker" : 0
}
},
"runtime" : {
"requires" : {}
}
},
"release_status" : "stable",
"version" : "0.01"
---
abstract: unknown
author:
- 'Gianluca Torta <torta@di.unito.it>'
build_requires:
ExtUtils::MakeMaker: 0
configure_requires:
ExtUtils::MakeMaker: 0
dynamic_config: 1
generated_by: 'ExtUtils::MakeMaker version 6.59, CPAN::Meta::Converter version 2.112150'
license: unknown
meta-spec:
url: http://module-build.sourceforge.net/META-spec-v1.4.html
version: 1.4
name: AI-PBDD
no_index:
directory:
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:
( run in 0.626 second using v1.01-cache-2.11-cpan-283623ac599 )