search

paolodragone / pymzn

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

model: fix SolveStatement. #8

Closed stefanoteso closed 7 years ago

stefanoteso commented 7 years ago

Just a couple of minor fixes. This PR includes the previous PR; feel free to discard the latter.