new kodkodz engine is integrated

ModelWriter · Sep 26, 2018 · 525d01b · 525d01b
1 parent c196040
commit 525d01b
Show file tree

Hide file tree

Showing 188 changed files with 90,387 additions and 2,353 deletions.
diff --git a/Source/eu.modelwriter.core.alloyinecore/.gitignore b/Source/eu.modelwriter.core.alloyinecore/.gitignore
@@ -1,3 +1,5 @@
 *.class
-/bin/
+.project
+/.idea/workspace.xml
 /target/
+/bin/
diff --git a/Source/eu.modelwriter.core.alloyinecore/.idea/workspace.xml b/Source/eu.modelwriter.core.alloyinecore/.idea/workspace.xml
diff --git a/Source/kodkod/SMT/inttest.smt b/Source/kodkod/SMT/inttest.smt