pymzn.val2dzn

pymzn.val2dzn(val, wrap=True)

Serializes a value (bool, int, float, set, array) into its dzn representation.

Parameters:
  • val – The value to serialize
  • wrap (bool) – Whether to wrap the serialized value.
Returns:

The serialized dzn representation of the given value.

Return type:

str