Stream: Elpi users & devs

Topic: all_different constraint

view this post on Zulip Enrico Tassi (Jul 21 2022 at 13:07):

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.

view this post on Zulip Théo Laurent (Jul 27 2022 at 19:34):

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 :)

view this post on Zulip Enrico Tassi (Aug 03 2022 at 08:31):

Do you mean that it is too slow?

Last updated: Feb 04 2023 at 02:03 UTC