def print_formula(*formulas):
print("\nFormula:")
print(
json.dumps(logic.merge(*formulas),
default=str,
sort_keys=True,
indent=2))
print()
def parameters(self):
return merge(self.public_parameters, self.private_parameters)