Added parentheses around all binary operators
Fixed bug in output-map: map values can now also be expressions in MiniZInc
Fixed bug in map2minizinc after operators are surrounded by parentheses:
no parentheses in result of map2minizinc (not supported at command line)
variable fixed to support float variables without domain specification
Added example for float constraints
Updated Readme
Renamed constraint not to nega