.classpath

<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="src" path="prism/src"/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
		<attributes>
			<attribute name="module" value="true"/>
		</attributes>
	</classpathentry>
	<classpathentry kind="lib" path="prism/lib/epsgraphics.jar"/>
	<classpathentry kind="lib" path="prism/lib/jcommon.jar"/>
	<classpathentry kind="lib" path="prism/lib/jfreechart.jar"/>
	<classpathentry kind="lib" path="prism/lib/jhoafparser.jar"/>
	<classpathentry kind="lib" path="prism/lib/colt.jar"/>
	<classpathentry kind="lib" path="prism/lib/pepa.zip"/>
	<classpathentry kind="lib" path="prism/lib/lpsolve55j.jar"/>
	<classpathentry kind="lib" path="prism/lib/jas.jar"/>
	<classpathentry kind="lib" path="prism/lib/log4j.jar"/>
	<classpathentry kind="lib" path="prism/lib/nailgun-server.jar"/>
	<classpathentry kind="lib" path="prism/lib/ppl_java.jar"/>
	<classpathentry kind="lib" path="prism/lib/commons-math3-3.3.jar"/>
	<classpathentry kind="lib" path="prism/lib/com.microsoft.z3.jar"/>
	<classpathentry kind="output" path="prism/classes"/>
</classpath>