forked from SymbolicPathFinder/jpf-symbc
-
Notifications
You must be signed in to change notification settings - Fork 5
/
.classpath
40 lines (40 loc) · 2.28 KB
/
.classpath
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry excluding="gov/nasa/jpf/symbc/SymbolicListenerClean.java" kind="src" output="build/main" path="src/main"/>
<classpathentry kind="src" output="build/annotations" path="src/annotations"/>
<classpathentry kind="src" output="build/examples" path="src/examples"/>
<classpathentry kind="src" output="build/peers" path="src/peers"/>
<classpathentry kind="src" output="build/tests" path="src/tests"/>
<classpathentry kind="src" output="build/classes" path="src/classes"/>
<classpathentry combineaccessrules="false" kind="src" path="/jpf-core"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="lib" path="lib/grappa.jar"/>
<classpathentry kind="lib" path="lib/aima-core.jar"/>
<classpathentry kind="lib" path="lib/automaton.jar"/>
<classpathentry kind="lib" path="lib/bcel.jar"/>
<classpathentry kind="lib" path="lib/choco-1_2_04.jar"/>
<classpathentry kind="lib" path="lib/choco-solver-2.1.1-20100709.142532-2.jar"/>
<classpathentry kind="lib" path="lib/com.microsoft.z3.jar"/>
<classpathentry kind="lib" path="lib/commons-lang-2.4.jar"/>
<classpathentry kind="lib" path="lib/commons-math-1.2.jar"/>
<classpathentry kind="lib" path="lib/coral.jar"/>
<classpathentry kind="lib" path="lib/green.jar"/>
<classpathentry kind="lib" path="lib/hampi.jar"/>
<classpathentry kind="lib" path="lib/iasolver.jar"/>
<classpathentry kind="lib" path="lib/jaxen.jar"/>
<classpathentry kind="lib" path="lib/jedis-2.0.0.jar"/>
<classpathentry kind="lib" path="lib/JSAP-2.1.jar"/>
<classpathentry kind="lib" path="lib/libcvc3.jar"/>
<classpathentry kind="lib" path="lib/opt4j-2.4.jar"/>
<classpathentry kind="lib" path="lib/org.sat4j.core.jar"/>
<classpathentry kind="lib" path="lib/org.sat4j.pb.jar"/>
<classpathentry kind="lib" path="lib/scale.jar"/>
<classpathentry kind="lib" path="lib/solver.jar"/>
<classpathentry kind="lib" path="lib/Statemachines.jar"/>
<classpathentry kind="lib" path="lib/STPJNI.jar"/>
<classpathentry kind="lib" path="lib/string.jar"/>
<classpathentry kind="lib" path="lib/yicesapijava.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
<classpathentry kind="lib" path="lib/proteus.jar"/>
<classpathentry kind="output" path="build"/>
</classpath>