module Gecode::BoolEnum

A module containing constraints that have enumerations of boolean operands as left hand side.