-
Notifications
You must be signed in to change notification settings - Fork 1
/
kems.prover.iml
107 lines (107 loc) · 4.22 KB
/
kems.prover.iml
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="EclipseModuleManager">
<libelement value="jar://$MODULE_DIR$/kems.ext.lib/ext/log4j-1.2.12.jar!/" />
<libelement value="jar://$MODULE_DIR$/kems.ext.lib/ext/java_cup.jar!/" />
<libelement value="jar://$MODULE_DIR$/kems.ext.lib/ext/JFlex.jar!/" />
<libelement value="jar://$MODULE_DIR$/kems.generated.lib/generated/cw.jar!/" />
<libelement value="jar://$MODULE_DIR$/kems.generated.lib/generated/satcnf2.jar!/" />
<libelement value="jar://$MODULE_DIR$/kems.generated.lib/generated/satlfiinconsdef.jar!/" />
<libelement value="jar://$MODULE_DIR$/kems.generated.lib/generated/sats5.jar!/" />
<conelement value="org.eclipse.ajdt.core.ASPECTJRT_CONTAINER" />
<src_description expected_position="0">
<src_folder value="file://$MODULE_DIR$/kems.prover/src" expected_position="0" />
<src_folder value="file://$MODULE_DIR$/kems.prover/tests" expected_position="1" />
</src_description>
</component>
<component name="NewModuleRootManager">
<output url="file://$MODULE_DIR$/kems.prover/bin" />
<exclude-output />
<content url="file://$MODULE_DIR$/kems.prover">
<sourceFolder url="file://$MODULE_DIR$/kems.prover/src" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/kems.prover/tests" isTestSource="true" />
</content>
<orderEntry type="jdk" jdkName="temurin-17" jdkType="JavaSDK" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="module" module-name="kems.ext.lib" />
<orderEntry type="module" module-name="kems.generated.lib" />
<orderEntry type="module-library">
<library name="log4j-1.2.12.jar">
<CLASSES>
<root url="jar://$MODULE_DIR$/kems.ext.lib/ext/log4j-1.2.12.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="java_cup.jar">
<CLASSES>
<root url="jar://$MODULE_DIR$/kems.ext.lib/ext/java_cup.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="JFlex.jar">
<CLASSES>
<root url="jar://$MODULE_DIR$/kems.ext.lib/ext/JFlex.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="cw.jar">
<CLASSES>
<root url="jar://$MODULE_DIR$/kems.generated.lib/generated/cw.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="satcnf2.jar">
<CLASSES>
<root url="jar://$MODULE_DIR$/kems.generated.lib/generated/satcnf2.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="satlfiinconsdef.jar">
<CLASSES>
<root url="jar://$MODULE_DIR$/kems.generated.lib/generated/satlfiinconsdef.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="sats5.jar">
<CLASSES>
<root url="jar://$MODULE_DIR$/kems.generated.lib/generated/sats5.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="module-library">
<library name="junit4" type="repository">
<properties maven-id="junit:junit:4.13.1" />
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/junit/junit/4.13.1/junit-4.13.1.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</orderEntry>
<orderEntry type="library" name="jdom.jdom2" level="project" />
<orderEntry type="library" name="aspectj.aspectjrt" level="application" />
<orderEntry type="library" name="aspectj.aspectjtools" level="application" />
<orderEntry type="library" name="aspectj.aspectjweaver" level="application" />
</component>
</module>