core-logic 2022-12-22

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

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