Zebra puzzle: Difference between revisions
Content added Content deleted
m (→General solver with relational algebra: Use scalars for counting) |
|||
| Line 6,749: | Line 6,749: | ||
operator (a nextTo&{byField:, bMinusA:} b) |
operator (a nextTo&{byField:, bMinusA:} b) |
||
data ES_temp__ <"1"> local |
|||
@EinsteinSolver: [$@EinsteinSolver... -> \( |
@EinsteinSolver: [$@EinsteinSolver... -> \( |
||
def in: $; |
def in: $; |
||
def temp: {| $... -> {$, ES_temp__: $(byField)} |}; |
def temp: {| $... -> {$, ES_temp__: $(byField)::raw} |}; |
||
def numbers: [$temp({ES_temp__:})... -> $.ES_temp__]; |
def numbers: [$temp({ES_temp__:})... -> $.ES_temp__]; |
||
$numbers... -> \( |
$numbers... -> \( |
||