:- module(pseudo_clpfd, []).
:- use_module(library(apply)).