Fixed issue where fzn - Numberjack file did not have the objective variable added to output_vars.
Enable the generated fzn-python file to take different restart parameters.
Bug fix for LessLex and LeqLex decompositions.
Define the reflective 'or' and 'and' operators so that they can be called where the left operand is not a Numberjack expression but the right is.
Raise an exception if AllDiff is called with less than 2 expressions.
Converter should not create AllDiff expressions for expression lists of less than length 2.
Fix for some variable names not being returned by get_model in fzn2py.awk
Bugfix for incorrectly specifying search completed in an optimization problem where we produced feasible solutions but did not prove optimality.