Skip to content

MiniZinc Python 0.3.3

Compare
Choose a tag to compare
@Dekker1 Dekker1 released this 29 Oct 06:02

Added

  • Add requiredFlags field to the Solver data class.

Fixed

  • Ignore extra (undocumented) fields from MiniZinc's --solvers-json output
    when initialising Solver objects.