xadd-inference -- Implementation of Extended ADDs (XADDs) and XADD-based inference algorithms.

Copyright (C) 2010, Scott Sanner (ssanner [@] gmail.com) Karina Valdivia Delgado (karinaval [@] gmail.com)

License: MPL 1.1 (with exceptions for 3rd party software & data)

	 The Java interface to LPSolve
	 
	   http://lpsolve.sourceforge.net/5.5/
	   
	 is included for the user's convenience.  LPSolve 
	 uses an LGPL license:
	  
	   http://lpsolve.sourceforge.net/5.5/LGPL.htm

	 Also includes a 2D Java plotting package in PlotPackage.jar available here:
	 
	   http://homepage.mac.com/jhuwaldt/java/Packages/Plot/PlotPackage.html
	   

Basic Installation and Invocation

xadd-inference/ provides the following subdirectories:

src   All source code (.java files)
bin   All binaries (.class files)
lib   All 3rd party libraries (.jar files)
files All supplementary files 

Always ensure that all .jar files in lib/ are included in your CLASSPATH for both Java compilation and at Java runtime.

We highly recommend that you use Eclipse for Java development:

http://www.eclipse.org/downloads/

In Eclipse the CLASSPATH libraries can be set via

Project -> Properties -> Java Build Path -> Libraries Tab

For running this code from a terminal, we provide two scripts

run     For Windows/Cygwin and UNIX/Linux systems
run.bat For the Windows CMD prompt

You can pass up to 10 arguments to these scripts as required.

Using the XADD-based Continuous MDP Solver

**LPSolve and GraphViz should be installed on your system. See below for instructions on installing each.

For an example to start with, try running

./run camdp.CAMDP src/camdp/ex/discact/knapsackM.cmdp 2 false false

which runs value iteration on the problem

src/camdp/ex/discact/knapsackM.cmdp

for two iterations. Numerous other CMDP examples including those
with continuous actions can be found in

src/camdp/ex/

Installing LPSolve

LPSolve requires binaries appropriate for the user's system, e.g., Windows requires lpsolve55j.dll. To obtain these binaries, please consult:

http://lpsolve.sourceforge.net/5.5/distribution.htm http://sourceforge.net/projects/lpsolve/files/lpsolve/5.5.2.0/

To verify it is installed correctly, run

lpsolve.LP

and ensure that there are no errors (LPSolve provides verbose output about it's solution, but these are not errors).

NOTE: Windows users simply need to copy 3 files "lp_solve.exe", "lpsolve55.dll" and "lpsolve55j.dll" to C:\Windows

GraphViz Visualization

To enable Java Graphviz visualization:

• Download and install GraphViz v2.28 on your system:

  http://www.graphviz.org/

  Historical versions (2.28) are located here:

  http://www.graphviz.org/pub/graphviz/stable/

• Make sure "dot" and "neato" (including ".exe" if running on Windows) are in your PATH, i.e., you can execute them from any home directory

Run graph.Graph.main() and verify that a cleanly formatted Java window displaying a graph appears. If so then other code which uses the Graph class should run properly.