AI-PBDD

 view release on metacpan or  search on metacpan

META.json  view on Meta::CPAN

         "t",
         "inc"
      ]
   },
   "prereqs" : {
      "build" : {
         "requires" : {
            "ExtUtils::MakeMaker" : 0
         }
      },
      "configure" : {
         "requires" : {
            "ExtUtils::MakeMaker" : 0
         }
      },
      "runtime" : {
         "requires" : {}
      }
   },
   "release_status" : "stable",
   "version" : "0.01"

META.yml  view on Meta::CPAN

---
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:

README  view on Meta::CPAN

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 )