« Repairing a Canon PowerShot | Main | Getting lost on my morning commute. »

June 17, 2005

Integrating Bogor and JavaBDD

The goal here is to be able to use off-the-shelf BDD libraries through the JavaBDD interface in Bogor. I am an Eclipse novice, so this will be a rather pedantic description of what I did.


  1. Obtain and unzip a copy of the JavaBDD-src distribution. Put it in a directory and remember where you put it.
  2. right click on your Bogor project in eclipse (see previous post on how to do that).
  3. Select "Build path" then "link additional source to project"
  4. Navigate your way to the unzipped directory from step 1.
  5. Click ok etc until done.
  6. JavaBDD requires the BDD libraries, lib(buddy|cal|cudd).jnilib, to be on the java.library.path. My solution was to simply copy the libraries to /usr/lib/java. That worked great. See Eclipse Plugin Central for pointers on working with java.library.path.

Next, test the thing and make sure all is well.

  1. test 1: can I run the JavaBDD n-queens example? In the "default package" of my newly created javaBDD directory in my bogor project, I right click on NQueens.java and select "run as" then "run ..."
  2. Under "arguements" I type in "5" for program arguements then run it.
  3. about 0.537 seconds of program execution time later, the program has terminated with a solution
  4. test 2

    Posted by jones at June 17, 2005 01:42 PM

    Comments

    Post a comment

    Thanks for signing in, . Now you can comment. (sign out)

    (If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)


    Remember me?