CLPB_external clpb_neg CLPB_external clpb_and CLPB_external clpb_or CLPB_external clpb_xor CLPB_external clpb_card CLPB_external clpb_exists CLPB_external clpb_sat CLPB_external clpb_check CLPB_external clpb_labeling