Skip to content

MiniZinc Python 0.4.2
Compare
Choose a tag to compare
@Dekker1 Dekker1 released this 25 Nov 03:03
0.4.2
6d4c136

Fixed

  • Terminate the MiniZinc process when stopping early (instead of killing it). This allows MiniZinc to correctly stop any solver processes.

Changed

  • Revert change from 0.4.1 where enumerated types unknown to Python would be made stored as anonymous enumerations. Interoperability between the MiniZinc driver and the MiniZinc Python has instead changed to allow JSON strings as valid input for enumerated types. (required MiniZinc 2.5.3)
Assets 2
Loading