Clojurians Log v2
Clojure programming
Channels
Apps
core-logic
2017-10-30T15:28:50.000304Z
I’m not familiar with the finite domain work.
2017-10-30T15:28:59.000345Z
But if you change the fd/in to
2017-10-30T15:29:01.000047Z
(l/membero fx [0 1 2 3 4 5]) (l/membero fy [0 1 2 3 4 5]) (l/membero fz [0 1 2 3 4 5])
2017-10-30T15:29:01.000859Z
it works
2017-10-30T15:31:03.000515Z
So I suppose either there is a bug in fd/in or you are not using correctly here.