Raphaël Boudreault
Raphaël Boudreault
According to Python's json lib, `JSONEncoder` encodes Python infinity values by default as "Infinity"/"-Infinity": [Ref](https://docs.python.org/3/library/json.html#json.JSONEncoder) > If allow_nan is true (the default), then NaN, Infinity, and -Infinity will be encoded...
> I'm actually not sure whether this could be handled by the MZNJSONEncoder class. The problem that I've been unable to resolve in https://github.com/MiniZinc/minizinc-python/issues/2 is that number classes are handled...
Related to chuffed/chuffed#70 and probably fixed by chuffed/chuffed#91.