QBF propagation rules for CHR in Sicstus Prolog

• QBF implication propagation rules for CHR

• QBF conjunction propagation rules for CHR

• QBF disjunction propagation rules for CHR

• QBF bi-implication propagation rules for CHR

• QBF xor propagation rules for CHR