Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / .classpath

diff --git a/sypet-non-incremental/.classpath b/sypet-non-incremental/.classpath
new file mode 100644 (file)
index 0000000..47cc29f
--- /dev/null
+++ b/sypet-non-incremental/.classpath
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+       <classpathentry kind="src" path="src"/>
+       <classpathentry kind="lib" path="lib/sat4j-pb.jar"/>
+       <classpathentry kind="lib" path="lib/apt.jar"/>
+       <classpathentry kind="lib" path="lib/bow4j.jar"/>
+       <classpathentry kind="lib" path="lib/commons-cli-1.2.jar"/>
+       <classpathentry kind="lib" path="lib/commons-io-2.5.jar"/>
+       <classpathentry kind="lib" path="lib/commons-lang-2.6.jar"/>
+       <classpathentry kind="lib" path="lib/commons-lang3-3.4.jar"/>
+       <classpathentry kind="lib" path="lib/commons-logging-1.2.jar"/>
+       <classpathentry kind="lib" path="lib/commons-math-2.2.jar"/>
+       <classpathentry kind="lib" path="lib/commons-math3-3.5.jar"/>
+       <classpathentry kind="lib" path="lib/ecj-4.5.1.jar"/>
+       <classpathentry kind="lib" path="lib/gson-2.3.1.jar"/>
+       <classpathentry kind="lib" path="lib/guava-18.0.jar"/>
+       <classpathentry kind="lib" path="lib/hamcrest-core-1.3.jar"/>
+       <classpathentry kind="lib" path="lib/httpclient-4.5.2.jar"/>
+       <classpathentry kind="lib" path="lib/httpcore-4.4.4.jar"/>
+       <classpathentry kind="lib" path="lib/joda-money-0.10.0.jar"/>
+       <classpathentry kind="lib" path="lib/joda-time-2.8.2.jar"/>
+       <classpathentry kind="lib" path="lib/jsoup-1.8.3.jar"/>
+       <classpathentry kind="lib" path="lib/junit-4.12.jar"/>
+       <classpathentry kind="lib" path="lib/jython.jar"/>
+       <classpathentry kind="lib" path="lib/og-analytics-2.17.0.jar"/>
+       <classpathentry kind="lib" path="lib/pdbadapter.jar"/>
+       <classpathentry kind="lib" path="lib/rt7.jar"/>
+       <classpathentry kind="lib" path="lib/snowball-stemmer-1.3.0.581.1.jar"/>
+       <classpathentry kind="lib" path="lib/soot-trunk.jar"/>
+       <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+       <classpathentry kind="output" path="bin"/>
+</classpath>