Curry Package 'clpfd-smt'