New posts in clpfd

reversible "binary to number" predicate

Most general higher-order constraint describing a sequence of integers ordered with respect to a relation

prolog clpfd topology meta-predicate