11 files changed, 69 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/.classpath b/Solvers/SMT-Solver/com.microsoft.z3/.classpath
new file mode 100644
index 00000000..ffdc022a
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/.classpath
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+        <classpathentry exported="true" kind="lib" path="com.microsoft.z3.jar">
+                <attributes>
+                        <attribute name="org.eclipse.jdt.launching.CLASSPATH_ATTR_LIBRARY_PATH_ENTRY" value="com.microsoft.z3/lib"/>
+                </attributes>
+        </classpathentry>
+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
+                <attributes>
+                        <attribute name="module" value="true"/>
+                </attributes>
+        </classpathentry>
+        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+        <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/.gitignore b/Solvers/SMT-Solver/com.microsoft.z3/.gitignore
new file mode 100644
index 00000000..ae3c1726
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/.gitignore
@@ -0,0 +1 @@
+/bin/
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/.project b/Solvers/SMT-Solver/com.microsoft.z3/.project
new file mode 100644
index 00000000..ec5bbc58
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/.project
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+        <name>com.microsoft.z3</name>
+        <comment></comment>
+        <projects>
+        </projects>
+        <buildSpec>
+                <buildCommand>
+                        <name>org.eclipse.jdt.core.javabuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.ManifestBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.SchemaBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+        </buildSpec>
+        <natures>
+                <nature>org.eclipse.pde.PluginNature</nature>
+                <nature>org.eclipse.jdt.core.javanature</nature>
+        </natures>
+</projectDescription>
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..01faa2ad
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
@@ -0,0 +1,22 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: Z3
+Bundle-SymbolicName: com.microsoft.z3
+Bundle-Version: 4.8.5.qualifier
+Bundle-Vendor: Microsoft
+Automatic-Module-Name: com.microsoft.z3
+Bundle-ClassPath: com.microsoft.z3.jar
+Bundle-NativeCode: lib/libz3.so;
+ lib/libz3java.so;
+ osname=Linux;
+ processor=x86_64;
+ lib/libz3.dylib;
+ lib/libz3java.dylib;
+ osname=MacOSX;
+ processor=x86_64,
+ lib/libz3.dll;
+ lib/libz3java.dll;
+ osname=win32;
+ processor=x86_64
+Export-Package: com.microsoft.z3,
+ com.microsoft.z3.enumerations
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/build.properties b/Solvers/SMT-Solver/com.microsoft.z3/build.properties
new file mode 100644
index 00000000..87f4e73f
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/build.properties
@@ -0,0 +1,3 @@
+bin.includes = META-INF/,\
+               lib/,\
+               com.microsoft.z3.jar
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll
new file mode 100644
index 00000000..0b518988
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll
Binary files differ
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib
new file mode 100755
index 00000000..7884a0e7
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib
Binary files differ
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.so b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.so
new file mode 100755
index 00000000..5beffe36
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.so
Binary files differ
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll
new file mode 100644
index 00000000..5e8dbc9b
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll
Binary files differ
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib
new file mode 100755
index 00000000..2d9116ac
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib
Binary files differ
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so
new file mode 100755
index 00000000..e2d2618d
--- /dev/null
+++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so
Binary files differ

diff --git a/Solvers/SMT-Solver/com.microsoft.z3/.classpath b/Solvers/SMT-Solver/com.microsoft.z3/.classpath new file mode 100644 index 00000000..ffdc022a --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/.classpath
@@ -0,0 +1,15 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<classpath>
	3	<classpathentry exported="true" kind="lib" path="com.microsoft.z3.jar">
	4	<attributes>
	5	<attribute name="org.eclipse.jdt.launching.CLASSPATH_ATTR_LIBRARY_PATH_ENTRY" value="com.microsoft.z3/lib"/>
	6	</attributes>
	7	</classpathentry>
	8	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
	9	<attributes>
	10	<attribute name="module" value="true"/>
	11	</attributes>
	12	</classpathentry>
	13	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
	14	<classpathentry kind="output" path="bin"/>
	15	</classpath>


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/.gitignore b/Solvers/SMT-Solver/com.microsoft.z3/.gitignore new file mode 100644 index 00000000..ae3c1726 --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/.gitignore
@@ -0,0 +1 @@
		/bin/


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/.project b/Solvers/SMT-Solver/com.microsoft.z3/.project new file mode 100644 index 00000000..ec5bbc58 --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/.project
@@ -0,0 +1,28 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<projectDescription>
	3	<name>com.microsoft.z3</name>
	4	<comment></comment>
	5	<projects>
	6	</projects>
	7	<buildSpec>
	8	<buildCommand>
	9	<name>org.eclipse.jdt.core.javabuilder</name>
	10	<arguments>
	11	</arguments>
	12	</buildCommand>
	13	<buildCommand>
	14	<name>org.eclipse.pde.ManifestBuilder</name>
	15	<arguments>
	16	</arguments>
	17	</buildCommand>
	18	<buildCommand>
	19	<name>org.eclipse.pde.SchemaBuilder</name>
	20	<arguments>
	21	</arguments>
	22	</buildCommand>
	23	</buildSpec>
	24	<natures>
	25	<nature>org.eclipse.pde.PluginNature</nature>
	26	<nature>org.eclipse.jdt.core.javanature</nature>
	27	</natures>
	28	</projectDescription>


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF new file mode 100644 index 00000000..01faa2ad --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
@@ -0,0 +1,22 @@
	1	Manifest-Version: 1.0
	2	Bundle-ManifestVersion: 2
	3	Bundle-Name: Z3
	4	Bundle-SymbolicName: com.microsoft.z3
	5	Bundle-Version: 4.8.5.qualifier
	6	Bundle-Vendor: Microsoft
	7	Automatic-Module-Name: com.microsoft.z3
	8	Bundle-ClassPath: com.microsoft.z3.jar
	9	Bundle-NativeCode: lib/libz3.so;
	10	lib/libz3java.so;
	11	osname=Linux;
	12	processor=x86_64;
	13	lib/libz3.dylib;
	14	lib/libz3java.dylib;
	15	osname=MacOSX;
	16	processor=x86_64,
	17	lib/libz3.dll;
	18	lib/libz3java.dll;
	19	osname=win32;
	20	processor=x86_64
	21	Export-Package: com.microsoft.z3,
	22	com.microsoft.z3.enumerations


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/build.properties b/Solvers/SMT-Solver/com.microsoft.z3/build.properties new file mode 100644 index 00000000..87f4e73f --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/build.properties
@@ -0,0 +1,3 @@
	1	bin.includes = META-INF/,\
	2	lib/,\
	3	com.microsoft.z3.jar


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll new file mode 100644 index 00000000..0b518988 --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll
Binary files differ


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib new file mode 100755 index 00000000..7884a0e7 --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib
Binary files differ


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.so b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.so new file mode 100755 index 00000000..5beffe36 --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.so
Binary files differ


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll new file mode 100644 index 00000000..5e8dbc9b --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll
Binary files differ


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib new file mode 100755 index 00000000..2d9116ac --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib
Binary files differ


diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so new file mode 100755 index 00000000..e2d2618d --- /dev/null +++ b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so
Binary files differ