我开始用空手道做测试了。我需要验证一个json响应。JSON架构设计: response{
Name* String can be null
} 现在我需要用下面的约束来验证id和name,id应该是整数名称可以是字符串,也可以是null。 我们可以在空手道中使用的方程式。但我需要检查Name只能是字符串还是空值
我试图在MiniZinc中使用字符串连接运算符定义一个约束,解决变量a和b的问题。matching operator found with left-hand side type `string' and right-hand side type `var string'
是否仍然可以用字符串或数组作为变量来解决MiniZinc中的约束?