.classpath

<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="src" output="build/modules" path="modules"/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
		<attributes>
			<attribute name="module" value="true"/>
		</attributes>
	</classpathentry>
	<classpathentry kind="lib" path="tlc/tla2tools.jar"/>
	<classpathentry kind="lib" path="lib/gson-2.8.6.jar"/>
	<classpathentry kind="lib" path="lib/hamcrest-core-1.3.jar"/>
	<classpathentry kind="lib" path="lib/junit-4.13.jar"/>
	<classpathentry kind="lib" path="lib/jungrapht-layout-1.4-SNAPSHOT.jar"/>
	<classpathentry kind="lib" path="lib/jgrapht-core-1.5.1.jar"/>
	<classpathentry kind="lib" path="lib/slf4j-api-1.7.30.jar"/>
	<classpathentry kind="lib" path="lib/commons-lang3-3.12.0.jar"/>
	<classpathentry kind="lib" path="lib/commons-math3-3.6.1.jar"/>
	<classpathentry kind="output" path="build"/>
</classpath>