In this specification, a notation of variables is used.
在本规范中，使用变量的一个符号。
A specification consists of two lines: a list of variables on one line followed by a list of constraints on the next line.
每个定义包括两行：第一行是一组变量，第二行是一组约束。
A specification consists of two lines: a list of variables on one line followed by a list of constraints on the next line.
每个定义包括两行：第一行是一组变量，第二行是一组约束。
应用推荐