AIR parser bug: multiple deficiencies in constraint parsing and AST construction
AIR parser bug: multiple deficiencies in constraint parsing and AST construction: a task in LegoFlow-SWE (Harbor dataset). Boundary constraints ( boundary constraints: ): Each constraint value must be represented as a BoundaryExpr . This type must not include Var or Next variants (only constants…
Part of Lego-X/LegoFlow-SWE.