DSL-ContraintSolver:这是用于约束解决的DSL

### Info：该项目将一种特定于域的Languange（DSL）实现为LL（1）语法，该语法允许定义变量以及变量和值之间的等价关系和不等式。 例如： x = { x1, x2, x3 } y = { y1, y2, y3 } z = { z1, z2, z3 } { (y1, z1), (y2, z2), y3, z3) } !{ (x1, y2), (x1, y3), (x2, y1), (x2, y3), (x3, y1), (x3, y2) } ＃＃＃语法： 这是我为DSL定义的语法： Dsl ::= Statement RestStatement RestStatement ::= Statement DSL | Statement ::= Declaration | Relation Declaration ::= Variable