diff --git a/.gitignore b/.gitignore
index da40b87c..ccb4c0b6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
-.project
-.classpath
+#.project
+#.classpath
*.class
# Mobile Tools for Java (J2ME)
@@ -19,9 +19,9 @@ hs_err_pid*
.lock-waf*
# User-specific stuff:
-.idea/**/workspace.xml
-.idea/**/tasks.xml
-.idea/dictionaries
+#.idea/**/workspace.xml
+#.idea/**/tasks.xml
+#.idea/dictionaries
# Sensitive or high-churn files:
.idea/**/dataSources/
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
index 94a25f7f..b2bdec2d 100644
--- a/.idea/vcs.xml
+++ b/.idea/vcs.xml
@@ -1,6 +1,6 @@
-
+
\ No newline at end of file
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
new file mode 100644
index 00000000..14155e67
--- /dev/null
+++ b/.idea/workspace.xml
@@ -0,0 +1,1005 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ mkForall
+ Q
+ ctx.mkSymbol("Q"
+ ctx.mkSymbol("q!"
+ mkExists
+ solver.add
+ goal
+ funcDeclMap
+ mkFor
+ mkEx
+ q!15
+ q!18
+ solver
+ q!27
+ add
+ boolExprMap
+ quantifierSizeMap
+ forall
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1527187479827
+
+
+ 1527187479827
+
+
+ 1527634297491
+
+
+
+ 1527634297491
+
+
+ 1527635219402
+
+
+
+ 1527635219402
+
+
+ 1527667563201
+
+
+
+ 1527667563201
+
+
+ 1528118183300
+
+
+
+ 1528118183300
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ file://$PROJECT_DIR$/src/kodkod/engine/satlab/Z3Solver.java
+ 71
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ kodkod
+
+
+
+
+
+
+
+ No facets are configured
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1.8
+
+
+
+
+
+
+
+ kodkod
+
+
+
+
+
+
+
+ org.sat4j.core-2.3.1
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/out/production/kodkod/MANIFEST b/out/production/kodkod/MANIFEST
index 21cbfa7a..ffdad195 100644
--- a/out/production/kodkod/MANIFEST
+++ b/out/production/kodkod/MANIFEST
@@ -1,7 +1,7 @@
-Name: kodkod
-Specification-Title: Kodkod API
+Name: kodkod examples
+Specification-Title: Kodkod Examples
Specification-Version: 2.1
Specification-Vendor: Emina Torlak
-Implementation-Title: Kodkod API
+Implementation-Title: Kodkod Examples
Implementation-Version: 2.1
Implementation-Vendor: Emina Torlak
\ No newline at end of file