From f122876abf02a5a2bc30c9c35b5d77daac8db51c Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 10:58:47 +0200
Subject: Improves solution displaying.

---
 instr-to-kodkod/src/Main.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'instr-to-kodkod/src/Main.java')

diff --git a/instr-to-kodkod/src/Main.java b/instr-to-kodkod/src/Main.java
index 554fa17..214e84c 100644
--- a/instr-to-kodkod/src/Main.java
+++ b/instr-to-kodkod/src/Main.java
@@ -298,7 +298,7 @@ public class Main
       solver = new Solver();
       solver.options().setSkolemDepth(-1);
       solver.options().setSolver(SATFactory.DefaultSAT4J);
-      solver.options().setReporter(new ConsoleReporter());
+//      solver.options().setReporter(new ConsoleReporter());
 
       solutions =
          solver.solveAll
@@ -318,7 +318,7 @@ public class Main
 
          if (sol.sat())
          {
-            System.out.println(sol);
+            VARIABLE_MANAGER.print_solution(sol.instance().relationTuples());
          }
       }
    }
-- 
cgit v1.2.3-70-g09d2