Merge branch 'uberOpt' of https://github.com/MORZorg/SemOptRZ into ub…

…erOpt Conflicts: src/SymbolicArgumentsSet.h
MORZorg · Jul 9, 2013 · 89a4446 · 89a4446
2 parents 8aaa344 + 71f9a72
commit 89a4446
Showing 1 changed file with 26 additions and 0 deletions.
diff --git a/Debug/test-input/example4.dl b/Debug/test-input/example4.dl
@@ -0,0 +1,26 @@
+arg(a1).
+arg(a2).
+arg(a3).
+arg(a4).
+arg(a5).
+arg(a6).
+arg(a7).
+arg(a8).
+arg(a9).
+att(a1,a2).
+att(a2,a1).
+att(a1,a5).
+att(a2,a4).
+att(a4,a5).
+att(a5,a7).
+att(a7,a6).
+att(a6,a5).
+att(a4,a6).
+att(a6,a4).
+att(a4,a8).
+att(a8,a9).
+att(a9,a8).
+att(a6,a9).
+att(a9,a7).
+
+