You can refine it a little, by storing in alldiff an
int.set with the concrete values, but you would still need to scan (and filter) the list to find out which variable was assigned. There is no language feature which tell you which variable is causing the resumption of a constraint.
Update: I still did not manage to get a practical sudoku solver in elpi, if anyone has tried it, I'm will be more than happy to look at the solution :)
Do you mean that it is too slow?
Last updated: Feb 04 2023 at 02:03 UTC