module Gecode::Bool

A module that deals with the operands, properties and constraints of boolean operands.