search

paolodragone / pymzn

A Python wrapper for the MiniZinc tool pipeline.
MIT License
55 stars 15 forks source link

dzn2dict: consider empty sets in arrays #33

Closed freng closed 5 years ago

freng commented 5 years ago

When parsing dzn files into dicts, empty sets were ignored in arrays. A small change in the _val_p regex fixed that.

paolodragone commented 5 years ago

Sounds good, thanks! :+1: