def test2(self):
a = multiagent.Agent("a", 0, 0, 2, 2, 3, 3)
b = multiagent.Agent("b", 2, 0, 0, 2, 3, 3)
m = multiagent.Master(a, b)
self.assertEqual(m.get_paths(), z3.unsat)
def test1(self):
a = multiagent.Agent("a", 0, 0, 1, 2, 3, 3)
m = multiagent.Master(a)
self.assertEqual(m.get_paths(), z3.sat)
def test3(self):
a = multiagent.Agent("a", 0, 0, 0, 2, 3, 3)
b = multiagent.Agent("b", 1, 0, 1, 2, 3, 3)
c = multiagent.Agent("c", 2, 0, 2, 2, 3, 3)
m = multiagent.Master(a, b, c)
self.assertEqual(m.get_paths(), z3.sat)
def test1(self):
a = multiagent.Agent("a", 0, 0, 1, 2, 3, 3)
logger.debug(a.ensure_path())