fnogatz/CHR.js

Is "assignment" possible?

Opened this issue · 1 comments

johndavids commented

Is something like this possible with CHR.js?

and(X,Y,Z) <=> Y === 0 | Z = 0.

Thank you!

wizzard0 commented

i believe "assignment" in chr means adding a new constraint, so that would be something like
and (X,Y,Z) <=>Y===0| const(Z,0)