Model a Domain as a Boolean Constraint Map

Use to model a domain of interacting claims/options as boolean variables with consistency constraints, then classify or minimize combinations — using constraint propagation when full enumeration (2^n) is infeasible.