Feature Request: Support random values section in AIR scripts
Feature Request: Support random values section in AIR scripts: a task in LegoFlow-SWE (Harbor dataset). Concrete examples of expected constraint expressions: - enf c.first = $alphas 5 + y 2 + z (refers to the 6th random value of the alphas group, the 3rd value of the y array, and the single value…
The task
Concrete examples of expected constraint expressions: - `enf c.first = $alphas[5] + y[2] + z` (refers to the 6th random value of the `alphas` group, the 3rd value of the `y` array, and the single value `z`) - `enf c.last = x + $alphas[15] + y[10]` (combines direct name, full group indexing, and array indexing) - `enf…
Part of Lego-X/LegoFlow-SWE.