The boolean level is supposed to support all propositional cross-tree constraints which includes the &, |, =>, <=, and <=> operators. However, it appears that every cross-tree constraint throws an error when only including the boolean level. The error message wrongfully suggests that Arithmetic is required.
The boolean level is supposed to support all propositional cross-tree constraints which includes the &, |, =>, <=, and <=> operators. However, it appears that every cross-tree constraint throws an error when only including the boolean level. The error message wrongfully suggests that Arithmetic is required.