diff --git a/src/.classpath b/src/.classpath
index 9c5d815db39a8e23d5a959f8f5ee8168da1b900b..2d03e246bc18c11e24e6f7ec678d2d9f85c89922 100644
--- a/src/.classpath
+++ b/src/.classpath
@@ -18,5 +18,6 @@
 	<classpathentry kind="lib" path="/libs/batik-xml.jar"/>
 	<classpathentry kind="lib" path="/libs/batik-util.jar"/>
 	<classpathentry kind="lib" path="/libs/jautomata-core.jar"/>
+	<classpathentry kind="lib" path="/libs/com.microsoft.z3.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
diff --git a/ttool/.classpath b/ttool/.classpath
index 9da0c3f79be3bdc68d46070c6e6d11bb1e412ac1..b7514d8a8070591522400a4de7c5da504555bcb8 100644
--- a/ttool/.classpath
+++ b/ttool/.classpath
@@ -17,5 +17,6 @@
 	<classpathentry kind="lib" path="/libs/assertj/assertj-swing/3.8.0/assertj-swing-3.8.0-sources.jar"/>
 	<classpathentry kind="lib" path="/libs/hamcrest-core-1.3.jar"/>
 	<classpathentry kind="lib" path="/libs/commons-io-2.5.jar"/>
+	<classpathentry kind="lib" path="/libs/com.microsoft.z3.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>