|
|
|
@@ -155,10 +155,6 @@ if __name__ == '__main__': |
|
|
|
print(res) |
|
|
|
res = abd.abduce(([1, 1], None, 4), max_address_num = 2, require_more_address = 1) |
|
|
|
print(res) |
|
|
|
res = abd.abduce(([1, 1], None, 4), max_address_num = 1, require_more_address = 1) |
|
|
|
print(res) |
|
|
|
res = abd.abduce(([1, 1], None, 4), max_address_num = 2, require_more_address = 0) |
|
|
|
print(res) |
|
|
|
res = abd.abduce(([1, 1], None, 5), max_address_num = 2, require_more_address = 1) |
|
|
|
print(res) |
|
|
|
print() |
|
|
|
|