Fork me on GitHub
#core-logic
<
2017-10-30
>
norman15:10:50

I’m not familiar with the finite domain work.

norman15:10:59

But if you change the fd/in to

norman15:10:01

(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])

norman15:10:03

So I suppose either there is a bug in fd/in or you are not using correctly here.