siemens / JMiniZinc

JMiniZinc
Other
15 stars 6 forks source link

Cannot parse array solution with additional whitespace #29

Closed rtaupe closed 5 years ago

rtaupe commented 5 years ago

Sometimes, additional whitespace is present in array solution output, e.g. array1 = array1d(1..8 ,[7, 19, 10, 23, 19, 10, 9, 14]); instead of array1 = array1d(1..8, [7, 19, 10, 23, 19, 10, 9, 14]);. at.siemens.ct.jmz.elements.Array.getPattern() must be adapted to allow this.