Minizinc model class, parsing from solver output stream, warning on unsolved problem, bug fixing.
Minizinc model class, parsing from solver output stream, warning on unsolved problem, bug fixing.

paolodragone/PyMzn