Compare commits

...

1 Commits

Author SHA1 Message Date
NoName11234
69936ffb58 no longer printing solutions to cmd 2024-04-23 19:44:16 +02:00

View File

@@ -95,7 +95,7 @@ public class UnifyTest {
UnifyTaskModel tasks = new UnifyTaskModel();
Set<Set<UnifyPair>> solution = unifyAlgo.unify(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks);
System.out.println(solution.size());
System.out.println(solution);
//System.out.println(solution);
}
/*
@Test