Python sat_count_tn Examples

Example #1

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_sanity_check(self):
     net = sat_tensornetwork.sat_count_tn([
         (1, 2, 3),
     ])
     count = tensornetwork.contractors.naive(
         net).get_final_node().get_tensor()
     self.assertEqual(count.numpy(), 7)

Example #2

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_single_variable(self):
     net = sat_tensornetwork.sat_count_tn([
         (1, 1, 1),
     ])
     count = tensornetwork.contractors.naive(
         net).get_final_node().get_tensor()
     self.assertEqual(count.numpy(), 1)

Example #3

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_four_variables(self):
   net = sat_tensornetwork.sat_count_tn([
       (1, 2, 3),
       (1, 2, 4),
   ])
   count = tensornetwork.contractors.naive(net).get_final_node().get_tensor()
   self.assertEqual(count.numpy(), 13)

Example #4

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_dual_clauses(self):
   net = sat_tensornetwork.sat_count_tn([
       (1, 2, 3),
       (1, -2, 3),
   ])
   count = tensornetwork.contractors.naive(net).get_final_node().get_tensor()
   self.assertEqual(count.numpy(), 6)

Example #5

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_four_variables(self):
     net = sat_tensornetwork.sat_count_tn([
         (1, 2, 3),
         (1, 2, 4),
     ])
     count = tensornetwork.contractors.naive(
         net).get_final_node().get_tensor()
     self.assertEqual(count.numpy(), 13)

Example #6

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_dual_clauses(self):
     net = sat_tensornetwork.sat_count_tn([
         (1, 2, 3),
         (1, -2, 3),
     ])
     count = tensornetwork.contractors.naive(
         net).get_final_node().get_tensor()
     self.assertEqual(count.numpy(), 6)

Example #7

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_unsatisfiable(self):
   net = sat_tensornetwork.sat_count_tn([
       (1, 1, 1),
       (-1, -1, -1)
   ])
   count = (tensornetwork.contractors.naive(net)
           .get_final_node()
           .get_tensor())
   self.assertEqual(count.numpy(), 0)

Example #8

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_unsatisfiable(self):
     net = sat_tensornetwork.sat_count_tn([(1, 1, 1), (-1, -1, -1)])
     count = (
         tensornetwork.contractors.naive(net).get_final_node().get_tensor())
     self.assertEqual(count.numpy(), 0)

Example #9

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_single_variable(self):
   net = sat_tensornetwork.sat_count_tn([
       (1, 1, 1),
   ])
   count = tensornetwork.contractors.naive(net).get_final_node().get_tensor()
   self.assertEqual(count.numpy(), 1)

Example #10

File: sat_tensornetwork_test.py Project: zoltanegyed/TensorNetwork

 def test_sanity_check(self):
   net = sat_tensornetwork.sat_count_tn([
       (1, 2, 3),
   ])
   count = tensornetwork.contractors.naive(net).get_final_node().get_tensor()
   self.assertEqual(count.numpy(), 7)