simplifying somewhat...
use Jan's library(sandbox)
use Jan's library(sandbox)
added clpfd example (not working)
to be removed...