pymzn.val2dzn

pymzn.val2dzn(val, wrap=True)

Serializes a value into its dzn representation.

The supported types are bool, int, float, set, array.

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