support weighted_maximum/3 and random_labeling/2 with clpb_monotonic
support weighted_maximum/3 and random_labeling/2 with clpb_monotonic

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel