Conflicts:
	build.xml

Improved sat solver output processing. Tried to add waitFor() to process runtime, but that makes things that ran fairly fast seem to run much slower.

The startings of putting together an automatic way to generate graphs by storing and calculating statistics

Turn off debugging information and print out the placement map at the end of every epoch for FINE logging level

New test placement map (see paper for the <R,C> case where nomad does not move to the optimal because it is stuck in a sub optimal case)

INITIAL COMMIT FOR ILP - the code is running and everything seems fine; testing to see if some thing is broken are required

Small helper functions for readability and adding a throw exception to an interface (Vagabond is robust enough to kill itself gracefull in the presence of an error)

HOTFIX: forgot to include this in the last commit, changed the input value for CNF SAT to "cnf" instead of "sat"

HOTFIX: incorrect parameter arrangments in OPL files; this was due to the formal definition switching the ordering of the parameters and Jon not properly switching all of them to the coded versions

Added timing to the files and applied the JAVA style format that is applied to every file in the repo (mahesh doesn't have eclispe setup to auto format his code)

# Conflicts:
#	.classpath
#	build.xml
#	src/vagabond/pieces/PlacementMap.java

More JAVADOC comments (still needs more); added a folder called "data" where files that are required by Vagabond should be stored

Added oplall.jar instead of cplex.jar because I have been using OPL; added the OPL javadoc to the build script and to the repo because IBM is impossible to link to