Fork me on GitHub
#core-logic
<
2022-12-22
>
Benjamin08:12:23

If you model day21 of advent of code with core.logic how do you do that? Is every monkey an lvar? And how do I say arithmetic relationships? In the puzzle I have a list of monkeys that have either a number as value, or a +/-/*// relation of 2 other monkeys

Ben Sless08:12:34

You can use the fd namespace (finite domain) Check the Sudoku example for core.logic