Symbolic Booleans in Jython

sym.pdf

Documentation for the sym package.

sym.jar

jar file containing the classes that bring the JavaBDD package into Jython.

sym.tgz

tar'd gzip'd archive of the source files for sym.jar.

javabdd-1.0b2.jar

jar file for the JavaBDD package. Better yet, go to sourceforge.net and get the latest -- just click here to get it.

To run it,

it's sufficient to include sym.jar and javabdd-1.0b2.jar in your JYTHONPATH environment variable. For example (assuming you're using the bash shell):

    $ SRC513=/ubc/cs/home/m/mrg/public_html/cs513/2012-2/src
    $ export JYTHONPATH=$SRC513/sym.jar:$SRC513/javabdd-1.0b2.jar
    $ jython

should get you running on a CS department machine. For other machines, download the two jar files and set your JYTHONPATH variable accordingly