.classpath

<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
		<attributes>
			<attribute name="module" value="true"/>
		</attributes>
	</classpathentry>
	<classpathentry kind="src" output="target/classes" path="src/main/java"/>
	<classpathentry excluding="/" kind="src" path="src/test/java"/>
	<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/5"/>
	<classpathentry kind="src" path="/org.alloytools.alloy.core"/>
	<classpathentry kind="src" path="/org.alloytools.alloy.application"/>
	<classpathentry kind="src" path="/org.alloytools.kodkod.core"/>
	<classpathentry combineaccessrules="false" kind="src" path="/org.alloytools.kodkod.nativesat"/>
	<classpathentry kind="output" path="bin"/>
</classpath>